RnSplice

rnTopSpliceDecls

rnSpliceType

rnSpliceExpr

rnSplicePat

rnSpliceDecl

rnBracket

checkThLocalName

traceSplice

data SpliceInfo