>Basically you get to pick between nondeterminism (randomness) and a global function that influences everything that's much more complicated.

That sounds as if the universe is passing everything through an RNG monad.