<div dir="ltr"><div class="gmail_extra"><div class="gmail_extra"><div class="gmail_quote"><br class="">On Sat, Feb 21, 2015 at 8:51 PM, Oleg Grenrus wrote:<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></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 class="">On Sat, Feb 21, 2015 at 9:44 PM, Joachim Breitner wrote:<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></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>