Lesson #23 - 16/1/2023
Completion requirements
Let-rec type inference.