At 2002-02-01 10:45, Dean Herington wrote: >h1 :: (a -> a -> (a,a)) -> (a -> a -> (a,a)) -> (a -> a -> (a,a)) >h1 = f1 # g1 I think you mean: h1 :: (a -> a -> (a,a)) -> (a -> a -> (a,a)) -> (a -> a -> (a,a)) h1 f g = f # g -- Ashley Yakeley, Seattle WA