Any reason not to add an Applicative instance for template haskell's Q (quoting) monad? - Conal