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