-- Subchapter 11.2, "comp2":


comp2 :: (a -> b) -> (b -> b -> c) -> (a -> a -> c)
comp2 f g =  \x y -> g (f x) (f y)
comp2 :: (a -> b) -> (b -> b -> c) -> (a -> a -> c)
comp2 f g =  \x y -> g (f x) (f y)
comp2 f g =  \x y -> g (f x) (f y)