Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Anyone know of a way to model a random monad such that repeatedly taking the union of random computations does not produce a biased probability distribution?

Is the alternative instance for GenT in the Hedgehog library associative wrt probability?

Anyone know of a way to model a random monad such that repeatedly taking the union of random computations does not produce a biased probability distribution?

Is the alternative instance for GenT in the Hedgehog library associative wrt probability?