<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">I agree with Andreas and Henning's line of reasoning: Add the instances IFF we have warnings for them and can effectively outlaw them in our codebases if we want to. If we take this stance <i>both </i>sides of the debate are motivated to add the feature.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Apr 4, 2019 at 9:45 AM Richard Eisenberg <rae@richarde.dev> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><br><div><br><blockquote type="cite"><div>On Apr 4, 2019, at 3:12 AM, Andreas Abel <<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a>> wrote:</div><br class="gmail-m_-925033367206821414gmail-m_8345273589712489152Apple-interchange-newline"><div><span style="font-family:Menlo-Regular;font-size:11px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;float:none;display:inline">Not everything that is mathematically consequential is good software engineering practice.</span></div></blockquote></div><br><div>+1 to that -- which means -1 to the proposal.</div><div><br></div><div>I might change my mind if the proposal includes the instance warnings, following Henning's reasoning.</div><div><br></div><div>Richard</div></div>_______________________________________________<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>
</blockquote></div>