Structure -- indeterminacy

Information hiding


slide: Existential types -- examples