(bind-func nth_tail:[List{!a}*,List{!a}*,i64]* (lambda (lst idx) (if (or (<= idx 0) (null? lst)) lst (nth_tail (cdr lst) (- idx 1)))))