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