{R A : Type u} →
  [inst : CommRing R] →
    [inst_1 : CommRing A] →
      [inst_2 : Algebra R A] →
        (U : (TopologicalSpace.Opens ↑(AlgebraicGeometry.PrimeSpectrum.Top R))ᵒᵖ) →
          Algebra R ((AlgebraicGeometry.structureSheafInType R A).val.obj U)