> a < b < c > which is a short-cut of a < b \land b < c
The confusion between f(x) and Îx.f(x) is indeed a real bummer. OTOH I like the a<b<c shorthand because it's both "obvious" and unambiguous (as long as the return value of < can't be passed as an argument to <, which is typically the case when the return value is boolean and there's no ordering defined on booleans). Stefan _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe