Data.Random.Source.DevRandom

data DevRandom