Typed template haskell is very underdocumented
There is a lack of documentation in both the users guide and the template-haskell haddocks. Every time I go looking it takes a while to find the 2 bullet points in the users guide on the syntax.
An own section and a worked example would be a big improvement.