max-int-monoid 69 Bytes
Newer Older
1 2 3 4 5
(ℤ, max)^X

x: {x: 1, y: 3}
y: {x: 2, y: 2}
z: {x: -5, y: 3, z: 1}