TcHsType

tcHsSigType

tcHsSigTypeNC

tcHsDeriv

tcHsVectInst

tcHsInstHead

tcHsQuantifiedType

data UserTypeCtxt

kcHsTyVars

kcHsSigType

kcHsLiftedSigType

kcLHsType

kcCheckLHsType

kcHsContext

kcApps

kindGeneralizeKind

kindGeneralizeKinds

scDsLHsKind

scDsLHsMaybeKind

tcHsType

tcCheckHsType

tcHsKindedContext

tcHsKindedType

tcHsBangType

tcTyVarBndrs

tcTyVarBndrsKindGen

dsHsType

tcDataKindSig

tcTyClTyVars

data ExpKind

ekConstraint

expArgKind

checkExpectedKind

tcHsPatSigType

tcPatSig