Random-number generation monad
