[Haskell-cafe] Fundep Curiosity

Henning Thielemann lemming at henning-thielemann.de
Wed May 13 18:57:38 EDT 2009

Christopher Lane Hinson schrieb:
> I've noticed that a large majority of fundeps I see in other people's
> libraries are written:
> class C a b | b -> a
> Where the dependent parameter appears first in the MPTC.  Is there a
> reason for this?
> AFAIK, there isn't any semantic significance to the order of parameters
> in an MPTC.  Why do many haskellers find this configuration more intuitive?

It's consistent with good style parameter ordering of functions:

More information about the Haskell-Cafe mailing list