Re: [GHC] #3620: The seeds generated by split are not independent