Lesson #22 - 10/1/2023
Completion requirements
Let-polymorphism: instantiation of type schemes.