pub trait TupleOf<T> { }
A tuple is composed of T if all of its fields are values of T. See ValueOf.
T
ValueOf