Yitzchak Gale writes: > Philippa Cowderoy wrote: > >> I don't find it any more confusing than the overloading > >> of ->. > > I wrote: > > You mean that it is used both for lambda abstractions > > and for functional dependencies? True, but those > > are so different that there is no confusion. > > Oh, and case. Also quite different.
Also type and kind signatures. The use in case and lambda abstractions strike me as analogous. They both have a pattern to the left and an expression to the right. -- David Menendez <[EMAIL PROTECTED]> | "In this house, we obey the laws <http://www.eyrie.org/~zednenem> | of thermodynamics!" _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime