Product model values are computed by collecting the values from a sequence of underlying models into a new sequence.
product

<product> ( models -- product )