Data.Comp.Variables
class HasVars f v
type Subst f v
type CxtSubst h a f v
varsToHoles
containsVar
variables
variableList
variables'
substVars
appSubst
compSubst
getBoundVars
(&)
(|->)
empty