pub type Sum<A, B> = <A as Add<B>>::Output;
Alias for the associated type of Add: Sum<A, B> = <A as Add<B>>::Output
Add
Sum<A, B> = <A as Add<B>>::Output