Re: [Haskell-cafe] generalized newtype deriving allows the definition of otherwise undefinable functions

Am Dienstag, 9. März 2010 11:53:14 schrieben Sie:

Isn't this just an extension of the notion that multi-parameter typeclasses without functional dependencies or type families are dangerous and allow for type-naughtiness?

Multi-parameter typeclasses are dangerous? It’s the first time I hear that. Could you elaborate, please? Best wishes, Wolfgang