Control structures that are fundamentally partial
Repeatedly apply f to v until p is True.
f
v
p
True
the predicate to wait for
the function to repeatedly apply
the starting value