Re: A Down newtype in Data.Ord?

On Sat, Nov 19, 2011 at 4:48 PM, Edward Kmett wrote:

The problem Dual is taken by Data.Monoid. With Opposite it isn't clear what is being inverted as well. Perhaps Desc (or Descending)?

That would permit nice descriptions when used with the extended list comprehension sugar.

I like Desc, and it's better than Descending. +1 (whatever the name is chosen) Cheers, -- Felipe.