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