Vectorise.Type.Classify
type
TyConGroup
classifyTyCons
tyConGroups