<div dir="ltr">They could be CPP'd around on newer versions, sure, at the cost of a fair bit of noise in the source code. Presumably it was considered simpler to just have one type signature. I've CC'd Ross Paterson, the maintainer of transformers. Ultimately it comes down to a 3 way decision between 1.) cleaner code by keeping the status quo, or 2.) cleaner haddocks by changing the code as requested here conditionally with CPP, or 3.) loss of backwards compatibility by just changing the type completely.<div><br></div><div>I don't particularly care which of the first two options are taken -- and the first even has the benefit of requiring zero labor -- but I think it'd be a bad idea to lose backwards compatibility by taking the third.</div><div><div><br></div><div>-Edward</div><div><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Nov 21, 2016 at 5:52 PM, Baldur Blöndal <span dir="ltr"><<a href="mailto:baldurpet@gmail.com" target="_blank">baldurpet@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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" target="_blank">https://hackage.haskell.org/<wbr>package/transformers-0.5.2.0/<wbr>docs/src/Control.Monad.Trans.<wbr>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" target="_blank">https://hackage.haskell.org/<wbr>package/transformers-0.5.2.0/<wbr>docs/src/Control.Monad.Trans.<wbr>State.Lazy.html#line-210</a><br></div></div></div></div>
<br>______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>