Re: [Haskell-cafe] Fundep Curiosity

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