The idea of linear types here is interested, but I think the delineated context is really the whole root of what's happening here. Would structured concurrency effectively solve this?