Second part to the first Template Haskell guide