Haskell: Pierwsze wartość się o RVar w Data.Random

Question

Jak mogę napisać funkcję z podpisem typu jak:

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

pod względem

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

gdzie próbka jest określona w Data.Random.Extras? Tutaj sample to funkcja, która zwraca losową podlistę z podanej listy.

Answer 1

Według the documentation, to powinno działać:

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

Jednak uzyskać nakładające się błędy instancji, gdy próbuje go skompilować. Mam to do skompilowania, ale:

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