TcHsType
tcHsSigType
tcHsSigTypeNC
tcHsDeriv
tcHsVectInst
tcHsInstHead
data UserTypeCtxt
kcLookupKind
kcTyClTyVars
tcTyClTyVars
tcHsConArgType
tcDataKindSig
tcClassSigType
data KindCheckingStrategy
kcStrategy
kcStrategyFamDecl
kcHsTyVarBndrs
tcHsTyVarBndrs
tcHsLiftedType
tcHsOpenType
tcLHsType
tcCheckLHsType
tcHsContext
tcInferApps
tcHsArgTys
kindGeneralize
checkKind
tcLHsKind
tcHsPatSigType
tcPatSig