We have tuple_type_head and tuple_type_tail, but it would be nice to have something that is just equivalent to

tuple_type(T) = (tuple_type_head(T), tuple_type_tail(T)...)

Currently one needs to extract T.parameters, convert from the svec, deal with Vararg tuples manually, etc.