FYI, just as additions to Alternative packages, FoldsThreads.jl’s “trampoline” also uses the same technique (IIUC) https://github.com/JuliaFolds/FoldsThreads.jl/blob/master/src/trampoline.jl. JuliaFolds packages in general also try to do a weaker version of this, as discussed in: Tail-call optimization and function-barrier -based accumulation in loops
(But it looks like you arrived at a more generic API/implementation, which is great!)