Algebraic Data Types
17. Algebraic Data Types (lecture notes)