pub type And<Lhs, Rhs, ST = Bool> = Grouped<And<Lhs, AsExprOf<Rhs, ST>>>;
The return type of lhs.and(rhs)
lhs.and(rhs)