i have no practice with lambda calculus, and no reason too, but i love esoteric diagram types and ill-advised metaphors. i'm gonna learn this shit