> Why? AFAICT, the call to res.get(timeout) is executed by the current thread.

Sorry, yes, that's the thread that gets interrupted (i.e. the waiting thread, as opposed to the task execution thread). But then I'd prefer to set the interruption status in the `get` which will let callers just react to the interrupted status (and that way we don't depend on them thinking of setting it themselves). We could then just react to that status, but it's witnessed by the passing of the exception as a `Right` to us — so that the current behavior is probably enough in that sense.