{V : Type u_1} →
  [inst : CategoryTheory.Category.{v_1, u_1} V] →
    {G : Type u_2} →
      [inst_1 : Monoid G] →
        {W : Type u_3} →
          [inst_2 : CategoryTheory.Category.{v_2, u_3} W] →
            [inst_3 : CategoryTheory.MonoidalCategory V] →
              [inst_4 : CategoryTheory.MonoidalCategory W] →
                (F : CategoryTheory.Functor V W) → [F.Monoidal] → (F.mapAction G).Monoidal