Type Alias Monoidal<Cat, T1, I1, T2, I2, F>

Monoidal: GenericSemiGroupal<Cat, T1, T2, F> & TypeClass.Unital.Unital<
    Cat,
    I1,
    I2,
    F,
> & {
    tensor1: TypeClass.Tensor.Tensor<Cat, T1, I1>;
    tensor2: TypeClass.Tensor.Tensor<Cat, T2, I2>;
}

All instance of Monoidal must satisfy:

Right unitality: For all x; combine(genericRightMap(introduce)(x)) == backward(rightUnit)(forward(rightUnit)(x)),
Left unitality: For all x; combine(genericLeftMap(introduce)(x)) == map(backward(leftUnit)(forward(leftUnit)(x))).