Как написать функцию с сигнатурой типа, например:
mySample :: StdGen -> Int -> [a] -> [a]
в терминах
sample :: Int -> [a] -> RVar [a]
где образец определен в Data.Random.Extras? Здесь образец - это функция, которая возвращает случайный подсписк из данного списка.