<div dir="auto"><div>Anthony, this proposal is to remove the Eq and Show constraints from the Num class. Specific instances of Num, like Int and Float, will still have those instances. This has been how it is in GHC for a long time now, so it really is a matter for the Haskell' committee rather than one of the GHC committees.</div><div dir="auto"><br></div><div dir="auto">The motivation is that there are many types with sensible definitions for addition and multiplication etc that can't be instances of Eq or Show, for example functions to numbers (allowing us to write "sin + cos" instead of "\x -> sin x + cos X") or arbitrary real numbers (where comparison isn't necessarily computable).</div><div dir="auto"><br></div><div dir="auto">I'm not sure why this is being discussed on the mailing list rather than the Github proposals thing, but I do know that that has grown somewhat inactive and this is as good as anything for getting the Haskell' committee to make a final judgement.</div><div dir="auto"><br></div><div dir="auto">Nathan<br><div class="gmail_extra" dir="auto"><br><div class="gmail_quote">On 8 Sep 2017 8:35 am, "Anthony Clayden" <<a href="mailto:anthony_clayden@clear.net.nz">anthony_clayden@clear.net.nz</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'm baffled. Is this some sort of 'in' joke at ICFP?<br>
Then remember the rest of the world can see this list.<br>
<div class="quoted-text"><br>
> All yays from committee members please reply with yes to<br>
this email :)<br>
<br>
</div>If this is to the committee, shouldn't it be on the<br>
committee list?<br>
(I mean ghc-steering-committee.)<br>
<br>
Or is there some other committee? I thought the<br>
Haskell-prime forum and process<br>
 was dead/replaced by the github proposals process?<br>
<br>
If there is a serious proposal, please explain what it is<br>
and what is the motivation.<br>
At risk of me sounding like a complete dork: I find it<br>
rather useful<br>
that I can compare numbers for equality and show them.<br>
(That is, without having to write my own instances.)<br>
<br>
AntC<br>
<div class="elided-text"><br>
______________________________<wbr>_________________<br>
Haskell-prime mailing list<br>
<a href="mailto:Haskell-prime@haskell.org">Haskell-prime@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>prime</a><br>
</div></blockquote></div><br></div></div></div>