Lesson #4 - 17/10/2022
Completion requirements
Lambdas as anonymous functions, type inference vs type checking, substitutions.