The start of the haddocks for System.Random.Stateful is headed by the full pure System.Random haddocks because we re-export module System.Random right at the start of System.Random.Stateful's export list.
I propose we instead re-export the pure API from the stateful module only at the end of the module.
Current version:

After proposed change:
