instance Sum.instBorelSpace_quasiBorelSpaces {A : Type u_1} {B : Type u_2} [MeasurableSpace A] [MeasurableSpace B] [TopologicalSpace A] [BorelSpace A] [TopologicalSpace B] [BorelSpace B] : BorelSpace (A ⊕ B)

instance Sum.instStandardBorelSpace_quasiBorelSpaces {A : Type u_1} {B : Type u_2} [MeasurableSpace A] [MeasurableSpace B] [StandardBorelSpace A] [StandardBorelSpace B] : StandardBorelSpace (A ⊕ B)

instance Sum.instDiscreteMeasurableSpace_quasiBorelSpaces {A : Type u_1} {B : Type u_2} [MeasurableSpace A] [MeasurableSpace B] [DiscreteMeasurableSpace A] [DiscreteMeasurableSpace B] : DiscreteMeasurableSpace (A ⊕ B)