20 Nov
2011
20 Nov
'11
12:07 a.m.
Because sometimes you put them in containers directly. I've done this, it isn't a theoretical situation.
Sent from my iPhone
On Nov 19, 2011, at 5:24 PM, Herbert Valerio Riedel
On Sat, 2011-11-19 at 17:03 -0500, Edward Kmett wrote:
Dual already has an Ord instance.
...btw, why does a monoid need an Ord instance anyway? :-)