Nick Name wrote:
Hi all, I have an example wich I don't understand:
First of all, let's rename the constructors and types a bit to make
things clearer add the instance in question, and remove the type
signatures:
module Main where
Nick Name wrote:
Got it ;) Thanks for prompt reply. What does should always be explicit
mean? Is there a notion of explicit context that I should know?
What I meant was the fact that you always have to write down *all* contexts
involved in a type signature. Nothing is inherited under the hood by
