λ(x : Natural) → Natural/fold x Natural (λ(n : Natural) → n + 1) 0