Agda.Utils.Function
trampoline
trampolineM
iterateUntil
iterateUntilM
iterate'
Iteration over Booleans.
applyWhen
applyUnless