pub type List<Head, Current, Tail> = <Whole<Head, Current, Tail> as Tuple>::TupleList;
The whole tuple list of concatenated head, current and tail tuples.