Existential types

5

hiding -- existential types
packages -- abstract data types

slide: Section 9.5: Existential types