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