Tuple concatenation in Rust

tuple_and.rs

trait And<B> {
    type Result;
    fn and(self, rhs: B) -> Self::Result;
}

impl<A, B> And<B> for (A,) {
    type Result = (A, B);
    fn and(self, rhs: B) -> (A, B) {
        (self.0, rhs)
    }
}

impl<A, B, C> And<C> for (A, B) {
    type Result = (A, B, C);
    fn and(self, rhs: C) -> (A, B, C) {
        (self.0, self.1, rhs)
    }
}

#[derive(Debug)]
struct Container<T>(T);

impl<A, B> And<Container<B>> for Container<A>
    where A: And<B>
{
    type Result = Container<<A as And<B>>::Result>;
    
    fn and(self, rhs: Container<B>) -> Self::Result {
        Container(self.0.and(rhs.0))
    }
}

fn main() {
    println!("{:?}", (1,).and(2).and(3));
    println!("{:?}", Container((1,)).and(Container(2)).and(Container(3)));
}