Type Alias FoldSum 

pub type FoldSum<A> = <A as FoldAdd>::Output;

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