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