Hello Claus, Friday, August 3, 2007, 8:12:13 PM, you wrote: > f (g (<- mx)) > does this stand for > (a) mx >>= \x-> f (g x) this variant. just like any imperative language (are you used any?). idea of FORmula TRANslator is old and widely used enough to prevent such questions -- Best regards, Bulat mailto:Bulat.Ziganshin at gmail.com