<div class="h5"><br>
</div>
<div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">This seems very interesting. One question:<br>
<br>
&gt; The MonadPlus and the Alternative instance differ: the former&#39;s mplus<br>
&gt; combinator equals the asymmetric &lt;&lt;|&gt; choice.<br>
<br>
Why?<br>
</blockquote><div><br><br>    Good question. Basically, I see MonadPlus as a union of Monad and Alternative. The class should not exist at all. But as long as it does, I figured I should provide an instance, and I made it different from the Monoid+Alternative combination because otherwise it would be useless. My second choice would be to remove the instance completely.<br>
<br>

</div></div>