Что такого плохого в Template Haskell?

Кажется, что Template Haskell часто рассматривается сообществом Haskell как досадное удобство. Трудно точно выразить словами то, что я наблюдал в этом отношении, но рассмотрим эти несколько примеров

• Шаблон Haskell, указанный в разделе «Уродливый (но необходимый)» в ответ на вопрос Какие расширения Haskell (GHC) должны пользователи используют/избегают?
• Template Haskell считается временным/неполноценным решением в потоке Unboxed Vectors of newtype'd values(список рассылки библиотек)
• Yesod часто критикуют за то, что он слишком сильно полагается на Template Haskell (см. сообщение в блоге в ответ на это мнение)

Я видел различные сообщения в блогах, в которых люди делают довольно изящные вещи с помощью Template Haskell, обеспечивая более красивый синтаксис, который просто невозможен в обычном Haskell, а также потрясающие шаблонное сокращение. Так почему же на Template Haskell смотрят свысока? Что делает его нежелательным? При каких обстоятельствах следует избегать Template Haskell и почему?