{-# htermination readsPrec :: Int -> String -> [(Char,String)] #-}