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