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