<p dir="ltr">And one more change: this can't go in Data.Monoid; it needs to go in Control.Applicative. I can't imagine anyone will care.</p>
<div class="gmail_quote">On Oct 31, 2014 12:47 PM, "Edward Kmett" <<a href="mailto:ekmett@gmail.com">ekmett@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">The one change I'd offer is this:<div><br></div><font face="courier new, monospace">instance Alternative f => Monoid (Alt f a) where<br>  mempty = Alt empty<br><b>  mappend = coerce ((<|>) :: f a -> f a -> f a)</b></font><div><font face="courier new, monospace"><br></font></div>That way it doesn't eta-expand (<|>).<div><br></div><div>-Edward<br><div><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Oct 31, 2014 at 12:35 PM, Carl Howells <span dir="ltr"><<a href="mailto:chowells79@gmail.com" target="_blank">chowells79@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Oh right.  This is what I joined this list to propose in the first<br>
place, then forgot about.  Uh, do I get a vote? If I have one, I'm<br>
obviously +1 on the idea.<br>
<div><div><br>
On Thu, Oct 30, 2014 at 10:54 AM, Oliver Charles <<a href="mailto:ollie@ocharles.org.uk" target="_blank">ollie@ocharles.org.uk</a>> wrote:<br>
> David Feuer <<a href="mailto:david.feuer@gmail.com" target="_blank">david.feuer@gmail.com</a>> writes:<br>
><br>
>> I found myself needing this type in my current overhaul of Data.Foldable,<br>
>> but it seems to be generally useful:<br>
><br>
> +1, I can see myself wanting to reach for this.<br>
><br>
> -- ocharles<br>
</div></div><div><div>> _______________________________________________<br>
> Libraries mailing list<br>
> <a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>
</blockquote></div>