Loading containers-reduce.disco...
Loading num.disco...
Running tests...
  dummy: OK
  setSize2: OK
Loaded.
reduce : (a × a → a) × a × List(a) → a
reduce(~+~, 0, [1 .. 10]) : ℕ
55
60
true
2351
6
7
true