RnSplice
rnTopSpliceDecls
rnSpliceType
rnSpliceExpr
rnSplicePat
rnSpliceDecl
rnBracket
checkThLocalName
traceSplice
data SpliceInfo