TcHsType

tcHsSigType

tcHsSigTypeNC

tcHsDeriv

tcHsInstHead

tcHsQuantifiedType

data UserTypeCtxt

kcHsTyVars

kcHsSigType

kcHsLiftedSigType

kcLHsType

kcCheckLHsType

kcHsContext

tcHsKindedContext

tcHsKindedType

tcHsBangType

tcTyVarBndrs

dsHsType

kcHsLPred

dsHsLPred

tcDataKindSig

data ExpKind

data EkCtxt

tcHsPatSigType

tcPatSig