pub type FoldSum<A> = <A as FoldAdd>::Output;
Alias for the associated type of FoldAdd: FoldSum<A> = <A as FoldAdd>::Output
FoldAdd
FoldSum<A> = <A as FoldAdd>::Output