pub type Insert<T, E> = <T as Push>::Output<E>;
Type alias for adding a new member to a type set.
assert::eq::<Insert<(i32,), i16>, (i16, i32)>();