TcHsType
tcHsSigType
tcHsSigTypeNC
tcHsDeriv
tcHsInstHead
tcHsQuantifiedType
data
UserTypeCtxt
kcHsTyVars
kcHsSigType
kcHsLiftedSigType
kcLHsType
kcCheckLHsType
kcHsContext
tcHsKindedContext
tcHsKindedType
tcHsBangType
tcTyVarBndrs
dsHsType
tcLHsConResTy
tcDataKindSig
data
ExpKind
data
EkCtxt
tcHsPatSigType
tcPatSig