A Down newtype in Data.Ord?

[Herbert Valerio Riedel]

On Sat, 2011-11-19 at 12:07 +0100, Sjoerd Visscher wrote:
> I like the concept, but not the name. Inverse (or Inv) would be a better name imho.

btw, doesn't that "Down" transform the Ord relation into its "dual" (in
the category sense)? If so, wouldn't a categorical term like "Dual" or
"Opposite" (as in "Opposite Category") be more appropriate (given that
Haskell libraries already recycles many categorical terms?)

Just saying... :-)

-- hvr.