accept QuasiQuoter top-level splices without -XTemplateHaskell
modify constraint kinds (failing) test for ghc