Base.TypeSubst
type TypeSubst
class SubstType a
bindVar
substVar
subst'
class ExpandAliasType a
expandAliasType'
normalize
instanceType
idSubst
singleSubst
bindSubst
compose