Hello Andrew, Tuesday, September 25, 2007, 5:21:35 PM, you wrote: >> Interesting function. It got a sibling: (.)(.) :: (a1 -> b -> c) -> a1 >> -> (a -> b) -> a -> c sexy function with sexy type :) -- Best regards, Bulat mailto:Bulat.Ziganshin at gmail.com