{-# htermination isHexDigit :: Char -> Bool #-}