One other thought.  We don't guarantee that sample() will always produce the same sequences, so that does give us some freedom; however, we have a strong aversion to doing so unless there is a compelling advantage.  It will almost certainly cause some disruption for users if their samples stop being reproducible from a given seed.  There is some value to the implementation remaining stable.