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