Haskell: Conseguir un valor a partir de un RVar en Data.Random

Question

¿Cómo se escribe una función con una firma de tipo como:

mySample :: StdGen -> Int -> [a] -> [a] 

en términos de

sample :: Int -> [a] -> RVar [a] 

donde la muestra se define en Data.Random.Extras? Aquí, sample es una función que devuelve una sublista aleatoria de la lista dada.

Answer 1

Según the documentation, esto debería funcionar:

mySample :: StdGen -> Int -> [a] -> [a] 
mySample g n xs = fst $ sampleState (sample n xs) g 

Sin embargo, tengo errores de instancia que se solapan cuando se trata de compilarlo. Tengo esto para compilar, sin embargo:

mySample :: StdGen -> Int -> [a] -> [a] 
mySample g n xs = evalState (runRVar (sample n xs) StdRandom) g