As of template-haskell >= 2.17.0.0, The Q monad was generalised into a Quote m typeclass.
The implementation of refineTH already has CPP to deal with the Code newtype introduced in template-haskell-2.17.0.0, so this is just generalising the types of existing functions.
As of
template-haskell >= 2.17.0.0, TheQmonad was generalised into aQuote mtypeclass.The implementation of
refineTHalready has CPP to deal with theCodenewtype introduced intemplate-haskell-2.17.0.0, so this is just generalising the types of existing functions.