(bind-func random:[!a,List{!a}*]* (lambda (lst) (let ((lgth (length lst)) (idx:i64 (random lgth))) (nth lst idx))))