(defun filter (pred)
  (declare (function pred))
  (lambda (rf)
    (reducing rf
      (() (rf))
      ((result) (rf result))
      ((result input)
       (if (funcall pred input)
           (rf result input)
           result)))))