succ=\n.\f.\x.f((nf)x)


License: public domain (via)