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