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