{V : Type v} →
  {inst : CategoryTheory.Category.{w, v} V} →
    {inst_1 : CategoryTheory.MonoidalCategory V} →
      {C : Type u₁} →
        [self : CategoryTheory.EnrichedCategory V C] →
          (X : C) → CategoryTheory.MonoidalCategoryStruct.tensorUnit V ⟶ X ⟶[V] X