After a few failed attempts to begin to understand the Lambda calculus, this is the one that finally "stuck" with me. Looking forward to future articles in this series!

This part:

> encoding a datatype with lambdas means representing the datatype as functions supporting all of its operations

was the key in being able to make practical sense of its purpose.