Chapter 1. Introduction to typing
Chapter 6. Advanced applications of function types
Chapter 8. Elements of object-oriented programming
Chapter 9. Generic data structures
Chapter 10. Generic algorithms and iterators
Chapter 11. Higher kinded types and beyond
13.58.82.79