A Down newtype in Data.Ord?

[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? :-)