Add Applicative instance for M