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