This is fantastic.

The idea that C++ meta programming is most easily understood as an (unnecessary complicated) functional language actually makes a huge amount of sense to me, and I particularly enjoy the lovely sense of balance it invokes.