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

Strake strake888 at
Tue Jul 10 14:31:59 CEST 2012

On 09/07/2012, Edward Kmett <ekmett at> 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.

More information about the Libraries mailing list