<p dir="ltr">As with most things "apply taste" and "apply brain"... uhm... apply.</p>
<div class="gmail_extra"><br><div class="gmail_quote">On Nov 4, 2016 6:16 PM, "Will Yager" <<a href="mailto:will.yager@gmail.com">will.yager@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"><br>
<br>
> On Nov 4, 2016, at 10:10, Tobias Dammers <<a href="mailto:tdammers@gmail.com">tdammers@gmail.com</a>> wrote:<br>
><br>
> However, in the case of Ord, there is<br>
> little harm in defining a default instance and using more specialized<br>
> sorting functions that take an explicit ordering functions;<br>
<br>
I disagree. This is the purpose of newtype wrappers. There are few scenarios where it's syntactically more convenient to pass around a bunch of random functions rather than just define a newtype with the behavior you want. GeneralizedNewtypeDeriving makes this trivial.<br>
<br>
Will</blockquote></div></div>