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