newTRef v = do
  cur <- newRef v
  com <- newRef v
  return $ TRef cur com
newTRef v = do
  cur <- newRef v
  com <- newRef v
  return $ TRef cur com
newTRef v = do
  cur <- newRef v
  com <- newRef v
  return $ TRef cur com