memf

memf : ((X -> boolean) (listof X) -> (union false (listof X)))

purpose:
to determine whether the first argument produces true for some value in the second argument