(bind-func any:[bool,[bool,!a,!b]*,List{!a}*,List{!b}*]*
(lambda (pred lst1 lst2)
(let ((f (lambda (l1 l2)
(if (or (null? l1) (null? l2))
#f
(if (pred (car l1) (car l2))
#t
(f (cdr l1) (cdr l2)))))))
(f lst1 lst2))))