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