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:
The start of the haddocks for
System.Random.Statefulis headed by the full pureSystem.Randomhaddocks because we re-exportmodule System.Randomright at the start ofSystem.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:
