<div dir="ltr">Having Applicative might be nice for `pure`. That way we can getSum . foldMap pure, and so on. Of course, in that case using `Sum` is no different, but this opens up the ability to construct `Sum`s from other parts of code that simply require `Applicative`.</div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Feb 21, 2015 at 7:57 PM, Sean Leather <span dir="ltr"><<a href="mailto:sean.leather@gmail.com" target="_blank">sean.leather@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 class="gmail_extra"><div class="gmail_extra"><div class="gmail_quote"><br>On Sat, Feb 21, 2015 at 8:51 PM, Oleg Grenrus wrote:<span class=""><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Sean, is there a trac ticket for this issue? I could make a patch early next week, as this seems to be discussed previously.</blockquote></span></div><div class="gmail_extra"><br></div>No, please create one. Also, you could put a patch on Phab and share both links here.<br><div class="gmail_quote"><br>On Sat, Feb 21, 2015 at 9:44 PM, Joachim Breitner wrote:<span class=""><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">It’s Applicative and Monad that I’m unsure about.</blockquote></span></div><br></div><div class="gmail_extra">Good point. I'm also unsure. Do we need/want Applicative, Monad, and MonadFix instances that are analogues of Identity? Has anyone ever needed a Sum/Product/First/Last monad?</div><div class="gmail_extra"><br></div><div class="gmail_extra">Regards,</div><div class="gmail_extra">Sean</div></div></div>
<br>_______________________________________________<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" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>