I wrote that, and then i remembered the unfortunate (.).(.) operator. So, maybe not.

-- (.).(.) :: (b -> c) -> (a -> a1 -> b) -> a -> a1 -> c