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
Note: Encountered an error during type layout; the type failed to be normalized.