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