generated at
iterated binary operation
Fold (higher-order function)