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