I do want to talk about #NormalOrder evaluation in #programming languages, but I'm just too #lazy.