Assume a sequence of variadic parameter types is to be generated according to a index sequence, i.e, given a tuple
using