Christopher Lane Hinson wrote:
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?
The order of parameters in an MPTC is significant if you want to use
newtype deriving, which can only be used with the last parameter, by
explicitly providing all other parameters.
Tillmann
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
