Abstract_types_have_existential_type