let
rec
foldn ~f ~init:acc i =
if
i = 0
then
acc
else
foldn ~f ~init:(f acc i) (i-1)