Equational reasoning combinators.
Application combinator.
Applicative interface and aliases `ap' for `map'.