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