:: (c -> d) -> (a -> b -> c) -> a -> b -> d package:intro

Compose functions with one argument with function with two arguments. f .: g = \x y -> f (g x y).