Applicative instances for various Monads.