SK combinators
SKI
:
λ
:
N
seconds to translate to SKI, then
N
seconds to evaluate (
N
reductions).