Writing about Template Haskell.