Abstraction
==================

Topics

- higher-order methods
- traits
- genericity