https://filesoo.com/product/1406/introduction-to-lambda-calculus