{X : Type u_1} →
  {Y : Type u_2} →
    [inst : TopologicalSpace X] →
      {R : Type u_5} →
        [inst_1 : CommSemiring R] → [inst_2 : Semiring Y] → [Algebra R Y] → Algebra R (LocallyConstant X Y)