<div dir="ltr"><div>Answering my own question, yes it is in the report.<br><br></div>From the report:<br><div><blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" class="gmail_quote"><h4 class=""><span class="">6.1.1    </span> Booleans</h4>

<p class="">
     </p>
                                                                                   

                                                                                   
     <div class="" id="verbatim-106">
data  Bool  =  False | True deriving
 <br>                             (Read, Show, Eq, Ord, Enum, Bounded)<br><br><b>11.1 <span class=""></span> Derived instances of <span class="">Eq</span> and </b><span class=""><b>Ord<br></b><br>...</span>For example, for the <span class="">Bool</span> datatype, we have that
<span class="">(True</span><span class=""> ></span><span class=""> False)</span><span class=""> ==</span><span class=""> True</span>.<br></div></blockquote><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jan 22, 2016 at 12:59 PM, <a href="mailto:evan@evan-borden.com">evan@evan-borden.com</a> <span dir="ltr"><<a href="mailto:evan@evanrutledgeborden.dreamhosters.com" target="_blank">evan@evanrutledgeborden.dreamhosters.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">+1 For not changing the Ord instance for Bool. It would be disastrous. As an aside, is the Order instance for Bool in the report?</p><div class="HOEnZb"><div class="h5">
<div class="gmail_quote">On Jan 22, 2016 12:24 PM, "Iavor Diatchki" <<a href="mailto:iavor.diatchki@gmail.com" target="_blank">iavor.diatchki@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">Please don't change the ordering on Bool---it's been like that forever and it might lead to extremely subtle bugs that won't be caught by the compiler.<div><br></div><div>I am ambivalent about adding an `implies` function as long as it is not automatically in scope.  However, can anyone give some examples of using</div><div>this in your code?  All the ones I could think of would seem easier to follow when written with `if-then-else` or a guard.</div><div><br></div><div>-Iavor</div><div><br></div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jan 21, 2016 at 11:28 AM, Felipe Lessa <span dir="ltr"><<a href="mailto:felipe.lessa@gmail.com" target="_blank">felipe.lessa@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">+1 for either Data.Bool.implies or Data.Bool.(==>).<br>
<br>
+1 for right-associativity.<br>
<br>
Cheers,<br>
<span><font color="#888888"><br>
--<br>
Felipe.<br>
<br>
</font></span><br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>
<br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div>
</div></div></blockquote></div><br></div>