Proposal #2560 again: add newtype Down/ReverseOrd to Data.Ord

[Bart Massey]

<roconnor <at> theorem.ca> writes:
> On Wed, 7 Jan 2009, Stefan Holdermans wrote:
> > +1 for Dual.
> +1 for Dual.  The term seems common in lattice theory.  I use it myself.

Dual is horrible.  The term is in general ambiguous and in this context
gratuitously pseudo-technical.

RevOrd, Reverse or Descending are about as good as I've heard.

    Bart Massey
    bart <at> cs.pdx.edu