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

If you ever wondered what is at the exact other side of the world, here is the answer for you (via).