∀ {F : Type u_1} {A : outParam (Type u_2)} {B : outParam (Type u_3)} [inst : Add A] [inst_1 : Mul A] [inst_2 : Star A]
  [inst_3 : Add B] [inst_4 : Mul B] [inst_5 : Star B] [inst_6 : EquivLike F A B],
  (∀ (f : F) (a b : A), f (a * b) = f a * f b) →
    (∀ (f : F) (a b : A), f (a + b) = f a + f b) →
      (∀ (f : F) (a : A), f (star a) = star (f a)) → StarRingEquivClass F A B