:load test/containers-reduce/containers-reduce.disco
:type reduce
:type reduce(~+~, 0, [1 .. 10])
reduce(~+~, 0, [1 .. 10])
reduce(~+~, 5, [1 .. 10])
reduce(~*~, 1, [1 .. 10]) == 10!
reduce(\p. {? d + 10*r when p is (d,r) ?}, 0, [1,5,3,2])
reduce(~+~, 0, {1, 1, 2, 3})
reduce(~+~, 0, ⟅1, 1, 2, 3⟆)
reduce(~*~, 1, factor 11846808) == 11846808