Mutually exclusive traits

kpreid: > I don’t know if there are any plans to make negative impls usable to enable otherwise conflicting impls. Yes, negative bounds, but they're highly experimental and basically not proposed for stabilization.