Add an order-reversing newtype to Data.Ord
This is proposal to add an order-reversing newtype to Data.Ord by adding GHC.Exts's one, Down.
You'll find attached a patch implementing this re-export and the conversation thread may be found here.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information