Data.Comp.MultiParam.Term

data Cxt

data Hole

data NoHole

data Term f i

type Trm f a

type Context

simpCxt

toCxt

hfmapCxt

hdimapMCxt

class ParamFunctor m