{α : Type u_1} →
  {R : Type u_6} →
    [inst : Monoid R] →
      [inst_1 : MulAction R ENNReal] →
        [IsScalarTower R ENNReal ENNReal] → {x : MeasurableSpace α} → MulAction R (MeasureTheory.Measure α)