Remove redundant Functor constraint from StateT Applicative/Alternative instances

Baldur Blöndal baldurpet at
Mon Nov 21 22:52:46 UTC 2016

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list