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