Question regarding template Haskell