Haskell Newtype, который меняет или переворачивает порядок

Question

Там, наверное, уже есть newtype, что переворачивает смысл Ord, Bounded и т.д. Что-то вдоль линий

newtype FlipOrd a = FlipOrd {unFlip :: a} deriving (Eq) 

instance (Ord a) => Ord (FlipOrd a) where 
    compare = flip compare 

instance (Bounded a) => Bounded (FlipOrd a) where 
    minBound = FlipOrd maxBound 
    maxBound = FlipOrd minBound 

Где это жить в существующих пакетах Haskell?

Примечание: Есть существующий ReverseFunctor, который делает что-то совсем другое и, к счастью, имеет совершенно несовместимый вид.

Answer 1

Это просто в Data.Ord: Down. (Это, однако, не имеет экземпляра Bounded.)