∀ (C : Type u_3) [inst : CategoryTheory.Category.{u_1, u_3} C] (D : Type u_5)
  [inst_1 : CategoryTheory.Category.{u_6, u_5} D] (E : Type u_4) [inst_2 : CategoryTheory.Category.{u_2, u_4} E]
  (F : C ⥤ₑ D) (G : D ⥤ₑ E),
  CategoryTheory.leftExactFunctor C E
    (((CategoryTheory.ExactFunctor.forget D E).comp ((CategoryTheory.Functor.whiskeringLeft C D E).obj F.obj)).obj G)