{-# htermination succ :: Ordering -> Ordering #-}