Implicit parameters:

[Keean Schupke]

Yes, adding -fno-monomorphism-restriction allows the example to compile.
I guess I got confused by the error message, expecting it to mention the
monomorphism restriction directly... I'm sure it does sometimes. Any
chance of improving the error message for this?

Jorge Adriano Aires wrote:

>Isn't it just the monomorphism restriction at work?
>This works fine:
>  
>