{G : Type u_1} →
  [inst : AddGroup G] →
    [inst_1 : TopologicalSpace G] →
      [IsTopologicalAddGroup G] →
        [inst : MeasurableSpace G] → [BorelSpace G] → [LocallyCompactSpace G] → MeasureTheory.Measure G