[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