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