∀ {F : Type u_1} {R : outParam (Type u_2)} {A : outParam (Type u_3)} {B : outParam (Type u_4)} [inst : Add A]
  [inst_1 : Mul A] [inst_2 : SMul R A] [inst_3 : Add B] [inst_4 : Mul B] [inst_5 : SMul R B] [inst_6 : EquivLike F A B]
  [toRingEquivClass : RingEquivClass F A B] [toMulActionSemiHomClass : MulActionSemiHomClass F id A B],
  NonUnitalAlgEquivClass F R A B