On 5/28/06, Dominic Steinitz <dominic.steinitz at blueyonder.co.uk> wrote: > Is this defined in some library? Thanks, Dominic. Don't think so. I use: \a b -> f (g a b) -- Taral <taralx at gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem