Base.KindSubst

type KindSubst

class SubstKind a

bindVar

substVar

idSubst

singleSubst

bindSubst

compose