{C : Type u_1} →
  {D : Type u_2} →
    {inst : CategoryTheory.Category.{v_1, u_1} C} →
      {inst_1 : CategoryTheory.Category.{v_2, u_2} D} →
        {A : Type u_5} →
          {inst_2 : AddMonoid A} →
            {inst_3 : CategoryTheory.HasShift D A} →
              (F G : CategoryTheory.SingleFunctors C D A) → [SizeOf C] → [SizeOf D] → [SizeOf A] → SizeOf (F.Hom G)