SUCC = n => f => x => f(n(f)(x))
