A Down newtype in Data.Ord?

[Yitzchak Gale]

+1 to add this newtype.

I prefer the Reverse bikeshed, but I'll be happy with
any name. Please, let's not let the name get in the way of
getting it done.

Thanks,
Yitz

P.S. If we're looking for a more flexible alternative,
we can use Costotransverse.