There is a library for TH: http://hackage.haskell.org/package/applicative-quoters-0.1.0.8 (broken at the moment)

There is a proposal at: https://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo

Now with AMP, is this worth revisiting? Why or why not?

-Tom