[Haskell-cafe] Fundep Curiosity

[Henning Thielemann]

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:
  http://www.haskell.org/haskellwiki/Parameter_order