add readTVarIO :: TVar a -> IO a