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