Template metaprogramming for Haskell article.