How do I write a function with a type signature like:

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

in terms of

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

where sample is defined in Data.Random.Extras? Here, sample is a function which returns a random sublist from the given list.

haskell random monads
Edit
Report