Agda.Utils.Function

iterate'