RtClosureInspect
cvObtainTerm
cvReconstructType
improveRTTIType
data Term
isTerm
isSuspension
isPrim
isFun
isFunLike
isNewtypeWrap
isFullyEvaluated
isFullyEvaluatedTerm
termType
mapTermType
termTyCoVars
foldTerm
data TermFold a
foldTermM
data TermFoldM m a
idTermFold
pprTerm
cPprTerm
cPprTermBase
type CustomTermPrinter m
data Closure
getClosureData
data ClosureType
isConstr
isIndirection