[Haskell-cafe] Fundep Curiosity

Christopher Lane Hinson lane at downstairspeople.org
Mon May 11 12:36:54 EDT 2009

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?


More information about the Haskell-Cafe mailing list