monoidal_product