Careful, you're about to reinvent the lambda calculus!