oplax_monoidal_functor