pub type FoldProd<A> = <A as FoldMul>::Output;
Alias for the associated type of FoldMul: FoldProd<A> = <A as FoldMul>::Output
FoldMul
FoldProd<A> = <A as FoldMul>::Output