I have found the sentiment to be more "we don't need macros, we have a proper type system/laziness/whatever".

I know enough Haskell to know that many of the macros I would use in scheme aren't necessary, but it is not like the good parts of compile time code generation are completely negated.

What are the problems with Template Haskell?

As an author of Template Haskell the expression trees you build are not constrained by types (other than Exp); you won't see a type error due to a problem in a Template Haskell function until you try to use that function in another module, and it produces Haskell code that in turn does not compile.

As a user of Template Haskell functions you will mostly complain about the slow compilation time, the jarring syntax, poor documentation (since so much of Haskell documentation relies on types) and the error messages when you do something wrong.

Also Template Haskell is not supported by all Haskell implementations (eg: Reflex on mobile).