Implicit parameter constraints not inferred

Sat Nov 6 11:12:12 EST 2004

On Saturday 06 November 2004 17:57, you wrote:
> Benjamin Franksen wrote:
> > My question: Is this as it should be or is it a bug?
>
> The Monomorphism Restriction.

Grumble... I almost suspected it. Only the context in which I got the error 
originally didn't _look_ as if MR would apply, and when I fumbled with the 
simple test program I just forgot about it.

Sorry to have bothered you and thanks a lot for the answer. Your explanation 
of the MR is the best I've seen so far.

Ben