Variadic functions in a single type is not the big issue. We can model that with slices, or if we need owned values, we can use iterators. If const generics lands, we could also use arrays.
Its generic variadics that needs solving. Where each element in the variadic can be a different type.