Base.KindSubst
type KindSubst
class SubstKind a
bindVar
substVar
idSubst
singleSubst
bindSubst
compose