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