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