Ah, that was exactly how I read it. Basically what Yesod uses template Haskell for in a variety of cases.