strong_lax_monoidal_functor