I feel like I’m slowly closing in on what I want to build in a live coding environment: some sort of mechanism for calling editor-level effects separate from code effects. For example, in Strudel, you can call the `_pianoroll` function and embed a piano roll visualization in the code editor that shows the live values of a given pattern. In principle, these sorts of effects should be “erasable.” That is, if you’re running this code outside of a live editor, then it shouldn’t have any impact on the program. The trick is how do you represent this in a type system? My current hunch is that this has something to do with multi-stage programming and maybe contextual modal type theory? I’m still figuring it out (and would love thoughts), but it’s nice to have a new thing to learn about…