unfolding existential types