
21 Nov
2016
21 Nov
'16
5:52 p.m.
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.Mo... [2] https://hackage.haskell.org/package/transformers-0.5.2.0/docs/src/Control.Mo...