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

A great article, with interesting references, and as it is about something many people do not seem to understand, worth reading:

> The abstraction-optimization tradeoff