On Mon, 14 Feb 2005 11:07:48 +0100, Daniel Fischer > And could one define > \f g h x y -> f (g x) (h y) > > point-free? sure, ((flip . ((.) .)) .) . (.) Thomas