Add `Applicative` instances to the base monads.