Re: [GHC] #2280: randomR too slow