Christopher Lane Hinson schrieb: > > 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?
It's consistent with good style parameter ordering of functions: http://www.haskell.org/haskellwiki/Parameter_order _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
