∀ {α : Type u_1} {β : Type u_2} {mα : MeasurableSpace α} {mβ : MeasurableSpace β} {g : α → MeasureTheory.Measure β}
  {m : MeasureTheory.Measure (MeasureTheory.Measure α)}, AEMeasurable g m.join → AEMeasurable (fun x => x.bind g) m