{-# htermination (>) :: Ordering -> Ordering -> Bool #-}