Haskell: Ottenere un valore al di fuori di un RVAR in Data.Random

Question

Come faccio a scrivere una funzione con una firma di tipo simile:

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

in termini di

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

in cui campione è definito in Data.Random.Extras? Qui, sample è una funzione che restituisce una sottolista casuale dalla lista data.

Answer 1

Secondo the documentation, questo dovrebbe funzionare:

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

Tuttavia, ottengo gli errori delle istanze si sovrappongono quando si cerca di compilarlo. Ho ottenuto questo per compilare, però:

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