[Haskell-cafe] Re: Small displeasure with associated type synonyms

[Manuel M T Chakravarty]

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