I've reminded myself just how frustrating the GHC 9+ changes to typed Template Haskell are.
Prior to that, in the context of the thing I was working on, I was crying out for some of the changes.
But now they''ve landed they're so obtuse and hostile to use in practice!