Base.TypeSubst
type TypeSubst
class SubstType a
bindVar
substVar
expandType
expandAliasType
normalize
idSubst
singleSubst
bindSubst
compose