> Multi-shot effects are neat and powerful but are incredibly difficult to reason about for humans

I had a very similar thought and ended up building a capability system[1] in my language to capture side effects.

[1] https://march-lang.org/docs/cookbook/capabilities/ * docs are a work in progress