TcHsType
tcHsSigType
tcHsSigTypeNC
tcHsDeriv
tcHsVectInst
tcHsInstHead
data UserTypeCtxt
kcTyClTyVars
tcTyClTyVars
tcHsConArgType
tcDataKindSig
tcClassSigType
kcHsTyVarBndrs
tcHsTyVarBndrs
tcHsLiftedType
tcHsOpenType
tcLHsType
tcCheckLHsType
tcHsContext
tcInferApps
tcHsArgTys
data ExpKind
ekConstraint
expArgKind
checkExpectedKind
kindGeneralize
tcLHsKind
tcHsPatSigType
tcPatSig