Lambda calculus is simple. Incredibly simple. But trying use lamda calculus to do anything with is hard.