Random is made monadic