This thing is what triggered me to write https://ruudvanasseldonk.com/2025/abstraction-not-syntax