existential types continued