https://sookocheff.com/post/fp/introducing-lambda-calculus/