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