[Haskell-cafe] language proposal: ad-hoc overloading

[Tillmann Rendel]

Ryan Ingram wrote:
> I maintain that in Haskell, trying to get this same generality often
> leads to abuse of the typeclass system for things where the types
> should trivially be determined at compile time.

I don't see how that is abuse. The type class system is there for types 
which can be (more or less) trivially determined at compile time.

   Tillmann