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