Data.Comp.Param.Term

data Cxt

data Hole

data NoHole

data Term f

type Trm f a

type Context

simpCxt

toCxt

cxtMap

class ParamFunctor m