I'd like to see this act as a simpler subset of something like @Jules-Bertholet's variadic generics design sketch; I don't see any obvious conflicts between what you're written and that design, but I'd be grateful if you could confirm that in a world where that sketch or something similar was implemented, your design just falls out of the bottom as an obvious corollary of the variadics design.