;; $Id: some.scm,v 1.3 2002/04/09 22:25:25 leavens Exp $

(deftype some (forall (T) (-> ((-> (T) boolean) (list-of T)) boolean)))
(define some
  (lambda (pred ls)
    (and (not (null? ls))
	 (or (pred (car ls))
	     (some pred (cdr ls))))))