Agda.Utils.Function
iterWhile
repeatWhile
repeatWhileM
trampolineWhile
trampolineWhileM
trampoline
trampolineM
iterateUntil
iterateUntilM
iterate'
applyWhen
applyUnless
applyWhenM
applyUnlessM