Re: [GHC] #7077: Add an order-reversing newtype to Data.Ord