Lesson #8 - 7/11/2022
Conditions d’achèvement
Lists, pattern matching, disjoint union types.