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