[fdupress]

Linear types and handlers are even more inconsistent, given the continuations could be run more than once if not careful.

[alexisread]

This is why, in Koka, there exists initially and finally blocks, to control resource cleanup https://koka-lang.github.io/koka/doc/book.html#sec-resource

I think linear types and exceptions can play well together if you use controlled effects like this.