Trait Tuple1
tuples::tuple_n
pub trait Tuple1: Tuple { type Item0; }
type Item0
impl<T> Tuple1 for (T,)
type Item0 = T