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