Keyword generics are probably not happening because it's kinda a hack.

Algebraic effects are the way forward, but that's a long way off.

Yes I hope in the future we can get to what OCaml 5 has with their algebraic effects system, and hopefully fix any flaws we see in there, so that async will just be syntactic sugar over the underlying effects system.