- The chapter on generic types does not describe existential types. - The introduction to the specification does not mention generic types.