I scattered my thoughts on Twitter, so I'll organize them briefly here. Introduction & Premise First, as a premise, I am very much in favor of the approach of using a compiler for optimization. This approach is often effective for improving DX without breaking the interface, and I myself use a framework that emphasizes this. However, I have some questions about the mental model changes (or unifica

