which `waitLoadedTyped` are you speaking about ? The one I know of (`interactive`/`waitLoadedTyped`) doesn't take a closure !? Do you mean "inside the body of `askLoadedTyped`" ? How is that not subject to the very same [delete-before-add race condition](https://github.com/scala/scala/pull/3158#discussion_r7758339) ?

In any case, no matter, a discussion with @retronym convinced me an extension of the `WorkItem` ADT would please the binary compatibility gods. I'll refactor this PR.