Monad: Remove monad constraint on functor and applicative instances #4