{R : Type u_1} →
  [inst : Monoid R] →
    {S : Submonoid R} →
      [inst_1 : OreLocalization.OreSet S] →
        {X : Type u_2} → [inst_2 : AddMonoid X] → [inst_3 : DistribMulAction R X] → AddMonoid (OreLocalization S X)