Makes ?

Test.idr

module Main

import System.Random.TF.Gen

genNums : Int -> TFGen -> IO TFGen
genNums i gen = if i > 0 then
                   let (n, gen') = tfGenNext gen in
                   do putStrLn (show i ++"\t0x"++show n)
                      genNums (i-1) (fst (split gen'))
                else return gen
main : IO ()
main = do seed <- mkSeed
          let gen = seedTFGen seed
          genNums 30000000 gen
          pure ()