let iter_width f n =
    n >>> f ;
    n >>> iter_rec f