The template mechanism in C++ only accidentally became useful for template metaprogramming. On the other hand, D\'s was designed specifically to facilitate this. And apparently
I believe nothing is better qualified to show the incredible power (TM) of the D template system than this renderer I found years ago:
Yes! This is actually what is generated by the compiler ... it is the "program", and quite a colourful one, indeed.
The source seems to be back online.