I tried to implement some generic math types (vectors etc.) And found that the whole bounds thing is pretty terrible.

If I have a function with some 'where' constraints and want to use it, the using Functions also have to fulfill the bounds themselves.

Is there a possibility to combine all those bound in a trait or type etc where I can then just write

Fn X<T> (a: T)

Where T : bounds_type

Instead of having to write

Fn Y<T> (a: T)

Where

T: trait1,

T: trait2,

[...]

?