RtClosureInspect
data Term
data TermFold a
data TermFoldM m a
data Closure