{-# htermination readIO :: Read a => String -> IO [a] #-}