{-# LANGUAGE FlexibleInstances, TemplateHaskell, QuasiQuotes #-} module QQType where import Language.Haskell.TH x :: DecsQ x = [d| instance Show $(conT (mkName "Int")) |]