Fork out TH into its own package.

[heades]

Template Haskell is a heavy depend, and might be a turn off for some people, we can fork out a separete package for those who wish to use it.