let rec mk_iterate n b = function
  | 0 -> mk_eps 
  | 1 -> b
  | k -> mk_conc n (n * (k-1)) b (mk_iterate n b (k-1))