add readIORef to sequential implementation