Visualizing beta reduction in this notation reminds me of the Interaction Combinators, recently popularized by the Bend programming language.