Pitch: Variadic generic types abstracting over packs

I believe you are looking for SE-0399: Tuple of value pack expansion