
4 Nov
2016
4 Nov
'16
5:38 p.m.
As with most things "apply taste" and "apply brain"... uhm... apply.
On Nov 4, 2016 6:16 PM, "Will Yager"
On Nov 4, 2016, at 10:10, Tobias Dammers
wrote: However, in the case of Ord, there is little harm in defining a default instance and using more specialized sorting functions that take an explicit ordering functions;
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.
Will