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

Wolfgang Jeltsch g9ks157k at acme.softbase.org
Tue Mar 9 10:06:09 EST 2010

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,

More information about the Haskell-Cafe mailing list