The ability to convert two haskell functions into one h = f . g Formal Definition f . g = \x -> f $ g x Example