Monad -> Applicative.