The author provide's a concept (the Haskell Metaphor) to illustrate how template metaprogramming in modern C++ has improved over the years.