∀ {R : Type u_2} [inst : CommRing R] {S : Submonoid R} {P : Type u_1} [inst_1 : CommRing P] [inst_2 : Algebra R P],
  MonoidHomClass (FractionalIdeal S P →+* Submodule R P) (FractionalIdeal S P) (Submodule R P)