Re: [Haskell-cafe] unification would give infinite type

You usually don't need to worry about it. Just keep in mind that if you happen to get a strange type error concerning an (overloaded) function *without type signature*, it sometimes helps to add a signature. / Emil On 2007-12-04 15:52, Rafael wrote:

I don't know about monomorphis restriction