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 <hvr at gnu.org> wrote: > 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? :-) >