`+` would be commutative, right? so `&Share + Send + Trait` would also work?