Solution (source code)

= Solution

Over <integers>, choose \b[`s = c = (+)` and `a = b = 0`]. The <left fold> and <right fold> both compute the <sum> of a finite <list>.