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