A Lambda calculus is like chocolate milk