The tricky thing here isn't first-class functions, but closures. For the example to work, the inner function construction has to implicitly capture the argument

The tricky thing here isn't first-class functions, but closures. For the example to work, the inner function construction has to implicitly capture the argument to the outer function.