https://levelup.gitconnected.com/relationship-between-lambda-calculus-and-functional-programing-5b5b44161c34