{F : Type u_5} →
  (R : Type u_6) →
    (S : Type u_7) →
      [inst : FunLike F R S] →
        [inst_1 : NonUnitalRing R] →
          [inst_2 : NonUnitalSeminormedRing S] → [NonUnitalRingHomClass F R S] → F → NonUnitalSeminormedRing R