let arrow tenv = 
  arrow (typcon_variable tenv)