Would it be useful to have a Random.pop(), that returns a single random item from a collection (specifically a built-in collection, I guess - Array/Map/Set), and mutates the collection to remove that item?

(The fact that Map/Set don't have .pop() has annoyed me occasionally.)