Extracting Parts of Variadic Tuples

Using infer with variadic tuples to extract head, tail, or middle sections of tuple types.