<p dir="ltr">And to forestall the weirdness we ran into with <*> vs. ap, I think GHC 7.12 should give multi-page flashing colored warnings when it sees a Semigroup instance whose definition calls mappend or the non-semigroup version of <>.</p>
<div class="gmail_quote">On Mar 29, 2015 11:42 AM, "Herbert Valerio Riedel" <<a href="mailto:hvr@gnu.org">hvr@gnu.org</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 2015-03-29 at 17:23:19 +0200, David Feuer wrote:<br>
> I guess I should get a dog in the fight—I think <> should be the Semigroup<br>
> method.<br>
<br>
+1<br>
</blockquote></div>