Hi, I am trying to use the output value from the random function to generate the random generator for the next value in list. Below is the code - ---- import System.Random myrandoms :: (RandomGen g, Random a) => g -> [a] myrandoms gen = let (value, newGen) = random gen in value:myrandoms (mkStdGen (value::Int)) ---- however the compilation fails when the module is loaded - [1 of 1] Compiling Main ( myrandoms.hs, interpreted ) myrandoms.hs:3:80: Could not deduce (a ~ Int) from the context (RandomGen g, Random a) bound by the type signature for myrandoms :: (RandomGen g, Random a) => g -> [a] at myrandoms.hs:2:14-48 `a' is a rigid type variable bound by the type signature for myrandoms :: (RandomGen g, Random a) => g -> [a] at myrandoms.hs:2:14 Relevant bindings include value :: a (bound at myrandoms.hs:3:22) myrandoms :: g -> [a] (bound at myrandoms.hs:3:1) In the first argument of `mkStdGen', namely `(value :: Int)' In the first argument of `myrandoms', namely `(mkStdGen (value :: Int))' ---------- Even though I am converting my 'value' parameter to Int in my new generator, I am unable to see the error behind this. Please can someone explain or even better provide a fix. Thanks, Shishir