<div dir="ltr">+1 to the type class hierarchy enhancements<div style>+1 to the {-# MINIMAL #-} pragma being added to GHC (and even to Haskell) in conjunction with this change to assuage concerns. And color *that* bikeshed any way you like; just give me the feature.</div>

<div style><br></div><div style>Well thought out, well presented. Let&#39;s move to the next phase, well executed!</div></div><div class="gmail_extra"><br clear="all"><div>-- Dan Burton</div>
<br><br><div class="gmail_quote">On Thu, May 23, 2013 at 1:25 PM, Henning Thielemann <span dir="ltr">&lt;<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><br>
On Thu, 23 May 2013, Nicolas Trangez wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Thu, 2013-05-23 at 21:56 +0200, Henning Thielemann wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I am only concerned with this one:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
- Promote `join` into the Monad typeclass<br>
</blockquote>
<br>
Currently, when I forget to implement the two essential Monad methods<br>
&#39;return&#39; and &#39;&gt;&gt;=&#39; in a Monad instance, I get a warning. However with the<br>
mutual implementations of &#39;join&#39; and &#39;&gt;&gt;=&#39; I do not get a warning but an<br>
infinite loop. Similarly, I already had nasty bugs with (a-b) defaulting<br>
to (a + negate b) and (negate a) defaulting to (0-a).<br>
</blockquote>
<br>
<a href="http://hackage.haskell.org/trac/ghc/ticket/7633" target="_blank">http://hackage.haskell.org/<u></u>trac/ghc/ticket/7633</a> might help.<br>
</blockquote>
<br></div>
Then I withdraw my concerns.<div class="HOEnZb"><div class="h5"><br>
<br>
______________________________<u></u>_________________<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/<u></u>mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>