Make Monad extend Applicative