Sort u_1 →
  {B : Type u} →
    [inst : CategoryTheory.Bicategory B] →
      {a b : CategoryTheory.Bicategory.Adj B} →
        {α β : a ⟶ b} →
          CategoryTheory.Bicategory.Adj.Hom₂ α β →
            {B' : Type u} →
              [inst' : CategoryTheory.Bicategory B'] →
                {a' b' : CategoryTheory.Bicategory.Adj B'} →
                  {α' β' : a' ⟶ b'} → CategoryTheory.Bicategory.Adj.Hom₂ α' β' → Sort u_1