Tensor product The tensor product of container combines with the cartesian product both the queries and the responses. This is not to be confused with the cartesian product on containers \defref{def:product-cont} Definition The tensor product of container. (⊗) : (c1, c2 : Container) -> Container (⊗) c1 c2 = (x : c1.req * c2.req) !> c1.res x.π1 * c2.res x.π2