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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
