On Sun, Oct 30, 2011 at 04:02, Gregory Crosswhite wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div>So is there any difference between the interpretation of <span class="il">MonadPlus</span> and Alternative, or is the only difference between them that the former applies to Monad whereas the latter applies to Applicative?</div>

</blockquote></div><br><div>Somewhat OT, but this led me to playing with ConstraintKinds:</div><div><br></div><div><a href="https://github.com/spl/sandbox/blob/master/ConstraintKindsAlternativeMonadPlus.lhs">https://github.com/spl/sandbox/blob/master/ConstraintKindsAlternativeMonadPlus.lhs</a></div>

<div><br></div><div>Regards,</div><div>Sean</div>