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

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