> If you only ever push "effects" onto a stack, you're just building up a trace. That's an interesting concept, but not my plan for capabilities/effects. Inste

> If you only ever push "effects" onto a stack, you're just building up a trace. That's an interesting concept, but not my plan for capabilities/effects. Instead, I'll be relying on linearity and qualified types. > Also, this makes me very excited for coroutines in this language. I am interested to see how they work out, too! I've only done a small amount of brainstorming about how they work. I'll likely need to give it some more thought as I formalize the multistack semantics.