Playing with Template Haskell