{-# htermination (>=) :: Ord a => a -> a -> Bool #-}