> > I'd like to be able to write something like: > > \ x y -> f (g x) (h y) > I don't think > mathematicians have great notation for it either Well, there is Combinatory Logic. http://www.haskell.org/haskellwiki/Combinatory_logic J.W.