<div dir="ltr"><div><div>Does this belong here? Applicative [1] and Alternative [2] instances of StateT have redundant constraints<br><br></div>> instance (Functor m, Monad     m) => Applicative (StateT s m)<br></div>> instance (Functor m, MonadPlus m) => Alternative (StateT s m)<br><div><div><div><br></div><div>The Functor constraint may be removed<br></div><div><br>[1] <a href="https://hackage.haskell.org/package/transformers-0.5.2.0/docs/src/Control.Monad.Trans.State.Lazy.html#line-201">https://hackage.haskell.org/package/transformers-0.5.2.0/docs/src/Control.Monad.Trans.State.Lazy.html#line-201</a><br>[2] <a href="https://hackage.haskell.org/package/transformers-0.5.2.0/docs/src/Control.Monad.Trans.State.Lazy.html#line-210">https://hackage.haskell.org/package/transformers-0.5.2.0/docs/src/Control.Monad.Trans.State.Lazy.html#line-210</a><br></div></div></div></div>