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