RE: Template metaprogramming for Haskell article.