It really should be called something better, like pure. And Monads should be a sub typeclass of applicative.