[ctenb]

More general than the toss keyword even. If you're interested in concrete examples, you might have a look at the koka documentation

[throw156754228]

As mentioned in another comment here, the unwind is expensive. That is, searching back through the stack finding the original call site that triggered the exception. How do algebraic effects handle that performance hit?