let iter s ~f = fold s ~init:() ~f:(fun n () -> f n)