Data.Comp.Term
data Cxt
data Hole
data NoHole
type Context
type Term f
type PTerm f
type Const f
unTerm
simpCxt
toCxt
constTerm