-- Template Haskell stuff
checkWellStaged, spliceOK, bracketOK, tcMetaTy, thLevel,
-- Template Haskell stuff
checkWellStaged, spliceOK, bracketOK, tcMetaTy, thLevel,
-- New Ids
newLocalName, newDFunName, newFamInstTyConName,
-- New Ids
newLocalName, newDFunName, newFamInstTyConName,