{V : Type (u + 1)} →
  [inst : CategoryTheory.LargeCategory V] →
    {FV : V → V → Type u_1} →
      {CV : V → Type u_2} →
        [inst_1 : (X Y : V) → FunLike (FV X Y) (CV X) (CV Y)] →
          [inst_2 : CategoryTheory.ConcreteCategory V FV] →
            {G : Type u_3} → [inst_3 : Monoid G] → (X : Action V G) → MulAction G (CategoryTheory.ToType X)