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

I have a lot of stuff to do recently. So I will pause blogging until about November. See you then, hopefully!