https://cynicdog.github.io/posts/functional-thinking-go-lambda-calculus/