Proposal: add an order-reversing newtype to Data.Ord

[Strake]

On 09/07/2012, Edward Kmett <ekmett at gmail.com> wrote:
> I would be happy enough with just re-exporting Down and calling it a day.
> Last time this topic came up it was bikeshedded to death without
> resolution.

Why is it called "Down"? Is this a mathematical term?

Its name ought to say what it does. So far, the best seems to be
"DualOrd", for it quite clearly affects only the order.