Suppose I have a crate that specifies, say n traits and then has a type that depends on k generic types, each of which implements various subsets of the traits.
Do I really have to define these types as
type<T1:S1+S2+....+Sp1, T2:S1+S2+...+Sp2, ... , Tl:...>
This becomes very very messy if more then say 4 traits or so are involved. Moreover this give the same messy style one all type that depend on this type, which escalates quickly throughout the code base.
What is best practice here?