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