Base.Subst
data Subst a b
class IntSubst e
idSubst
singleSubst
bindSubst
unbindSubst
substToList
compose
substVar'
isubstVar
restrictSubstTo