i1 : M = monoid [x,y,z];
i2 : product({2,3,4},{x,y,z},(i,j)->j^i) 2 3 4 o2 = x y z o2 : M
See also product.