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