Haskell: Получение значения из RVar в Data.Random

Как мне написать функцию с сигнатурой типа, например:

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

в терминах

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

где образец определен в Data.Random.Extras ? Здесь sample - это функция, которая возвращает случайный подсписок из данного списка.