lax_monoidal_functor