TH is hard to debug. When you get an error message, you see the TH generated code, which can look very different from your source, and the line numbers are meaningless.

It's also GHC specific so if you're one of those weirdos using a different Haskell compiler you can't use any library that requires TH.