let
iter =
P
.iter