Sort u_1 →
  {B : Type u} →
    [inst : CategoryTheory.Bicategory B] →
      {a b : B} →
        {right : b ⟶ a} →
          CategoryTheory.Bicategory.LeftAdjoint right →
            {B' : Type u} →
              [inst' : CategoryTheory.Bicategory B'] →
                {a' b' : B'} → {right' : b' ⟶ a'} → CategoryTheory.Bicategory.LeftAdjoint right' → Sort u_1