Agda.Utils.Function
iterate'