TcHsType
tcHsSigType
tcHsDeriv
tcHsInstHead
tcHsQuantifiedType
data
UserTypeCtxt
kcHsTyVars
kcHsSigType
kcHsLiftedSigType
kcCheckHsType
kcHsContext
kcHsType
tcHsKindedContext
tcHsKindedType
tcHsBangType
tcTyVarBndrs
dsHsType
tcLHsConResTy
tcDataKindSig
tcHsPatSigType
tcPatSig