Demonstration of the SKI calculus in C++ templates.