Stefan Holdermans:
The problem is ambiguity. The type checker can't determine which
val function to use, i.e. which dictionary to pass to val.
I see. Still, maybe a type-error message in terms of good old
"unresolved top-level overloading" would be a bit more useful
here... ;-)
I agree the error message is appalling. Could you put this as a bug
in the bug tracker?
Thanks,
Manuel
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe