let rec iter_depth f n =
    n >>> f ;
    for i = 0 to n_children n -1 do
      (n >>> child i) >>> iter_depth f
    done