[utx00]

it is definitely more verbose and uglier. but in practice it does not seem to be a problem. for instance, comparing to arc, if you had notfn for ~, and testify, you could write all as:

  (defun all (test seq)
    (funcall (notfn #'some) (complement (testify test)) seq))

doesn't seem that bad.