
11 May
2009
11 May
'09
12:36 p.m.
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? Friendly, --Lane