Type Alias FoldProd 

pub type FoldProd<A> = <A as FoldMul>::Output;

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