Base.TypeSubst

type TypeSubst

class SubstType a

bindVar

substVar

subst'

class ExpandAliasType a

expandAliasType'

normalize

instanceType

idSubst

singleSubst

bindSubst

compose