I'm having trouble figuring out the correct way to type a variadic tuple type (I think that's the correct terminology