// Variadic values are somewhat "special", because both inside and outside of a // generic context act like a Collection - or better are a Collection. The // Element of this collection is the constraint of the Variadic Generic. In- // side a generic context, the ... syntax allows users to convert this collec- // tion to a tuple whose shape and types will be the concrete types passed to // the Variadic Generic parameter.