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