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

Again, just a short post with a link. Sorry for that:

This video is the beginning of an amusing game the "Stupid Mario Bros." (I already linked in my former blog) produced.