existential types in TyConInfo