Sort u →
  {B : Type u₁} →
    [inst : CategoryTheory.Bicategory B] →
      {C : Type u₂} →
        [inst_1 : CategoryTheory.Bicategory C] →
          CategoryTheory.StrictlyUnitaryPseudofunctorCore B C →
            {B' : Type u₁} →
              [inst' : CategoryTheory.Bicategory B'] →
                {C' : Type u₂} →
                  [inst'_1 : CategoryTheory.Bicategory C'] →
                    CategoryTheory.StrictlyUnitaryPseudofunctorCore B' C' → Sort u