Hello,

I propose to add derived Show and Read instances to Data.Ord.Down. This should be uncontroversial. Any thoughts?

For reference, Data.Ord.Down is currently defined as

newtype Down a = Down a deriving (Eq)

instance Ord a => Ord (Down a) where

    compare (Down x) (Down y) = y `compare` x

Krzysztof Gogolewski