Re: Type families and type inference - a question

Oh, I see... Thank you, it works now with NoMonomorphismRestriction. The error message is extremely misleading though... And so is the type signature inferred by the compiler. 2010/1/10 Bulat Ziganshin <bulat.ziganshin@gmail.com>

it's a Monomorphism Restriction of Haskell'98, disabled with -XNoMonomorphismRestriction