: (| 1 2)
-> 3

: (| 1 2 4 8)
-> 15