Note: Applicative => Monad in GHC 7.10