∀ {F : Type u_1} {A : outParam (Type u_2)} {B : outParam (Type u_3)} [inst : NonUnitalNonAssocSemiring A]
  [inst_1 : Star A] [inst_2 : NonUnitalNonAssocSemiring B] [inst_3 : Star B] [inst_4 : FunLike F A B]
  [inst_5 : NonUnitalRingHomClass F A B] [toStarHomClass : StarHomClass F A B], NonUnitalStarRingHomClass F A B