let n_arrows tenv ts u = 
  List.fold_left (fun acu x -> arrow tenv acu x) u ts