Does this belong here? Applicative [1] and Alternative [2] instances of StateT have redundant constraints

> instance (Functor m, Monad     m) => Applicative (StateT s m)
> instance (Functor m, MonadPlus m) => Alternative (StateT s m)

The Functor constraint may be removed

[1] https://hackage.haskell.org/package/transformers-0.5.2.0/docs/src/Control.Monad.Trans.State.Lazy.html#line-201
[2] https://hackage.haskell.org/package/transformers-0.5.2.0/docs/src/Control.Monad.Trans.State.Lazy.html#line-210