Comment by i2

The same can be done with Python lambdas:

  >>> ZERO = lambda f: lambda x: x
  >>> FIVE = lambda f: lambda x: f(f(f(f(f(x)))))
  >>> to_int = lambda f: f(lambda x: x+1)(0)
  ... etc.