How about... h a = f . g a or... f $ g 1 2 >> >> f :: Int -> Int >> f x = x*x >> >> g :: Int -> Int -> Int >> g a b = a + b >> >>... >> >>But what I really want is a function with signature Int -> Int -> Int. -- Brett Letner Galois Connections, Inc. http://www.galois.com mailto:bletner@galois.com phone:(503)626-6616 ext.110