Combining Probabilistic and Non-Deterministic Choice via Weak Distributive Laws (Goy, Petrisan, 2020) distributive law
