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