DARK MODE
λn.λf.λx.f(n(f)(x))
n=>f=>x=>f(n(f)(x))