disco-0.1.0.0: test/prim-sum/expected

left : a1 → a1 + a
right : a1 → a + a1
[left(1), left(2), left(3)]