Language Extension for better, more deterministic HALO for C++ Coroutines

I am starting to think about this as a next step. How is this going to work for parameter packs? I guess similarly?