Implements the following new functor:
(ℤ, max)^X x: {x: 1, y: 3} y: {x: 2, y: 2} z: {x: -5, y: 3, z: 1}