let
iterate =
P
.iterate