Determine a distributive law over nondeterminism monads

Determine whether the continuous random variable monads constructed in the paper admit a distributive law over nondeterminism monads.

Background

The paper develops monads for normalized $surd$-max simple and continuous random variables, but does not combine these probabilistic effects with nondeterministic effects. A distributive law would provide a principled way to compose the continuous-random-variable monads with nondeterminism monads and could support semantic models incorporating both kinds of computational behavior.