Base.Subst

data Subst a b

class IntSubst e

idSubst

singleSubst

bindSubst

unbindSubst

substToList

compose

substVar'

isubstVar

restrictSubstTo