(bind-func any:[bool,[bool,!a]*,List{!a}*]*
(lambda (pred lst)
(let ((f (lambda (l)
(if (null? l)
#f
(if (pred (car l))
#t
(f (cdr l)))))))
(f lst))))