anchor.diff:  	  (symbol (find-class ,c))
   	  (class ,c))))))
   
  +#+NIL ;; unused
  +(defgeneric method-specifier (method)
  +  (:documentation
  +   "create a specifier for a method, such that would be compatible with MAKE-LOAD-FORM")
  +  (:method ((method standard-method))
  +    (list* (generic-function-name (method-generic-function genf))
  +	   (mapcar #'(lambda (a c)
  +		       (typecase c
  +			 (class (list a (class-name c)))
  +			 (t (list a c))))
  +		   (method-lambda-list method)
  +		   (method-specializers method))
  +	   (method-qualifiers method))))
  +
  +;; (method-specifier (car (generic-function-methods #'@+)))
  +
  +
  +
   ;;; %% Monotonic Generic Functions, Methods, and Method Combination
   
   ;; A Monotonic Generic Functions' effective method, when provided
  
positive.code:   ())
  
  
  (defclass monotonic-method (standard-method)
    ())
  
  (defclass monotonic-generic-function (standard-generic-function)
    ()
  
negative.code: (defmethod make-method-lambda ((genf monotonic-generic-function)
  			       (method monotonic-method)
  			       lambda environment)
    (declare (ignore genf environment))
    (with-gensym (method-lambda-args next-methods this-method)
      ;; referencing the MOP specification, CLOSER-MOP, and SB-PCL
      (setf (method-lambda-body method) lambda)
      `(lambda (,method-lambda-args ,next-methods ,this-method)
         (declare (ignore ,next-methods))
         (labels ((call-next-method (&rest cnm-args)
  		  (apply #'no-next-method 
  			 (method-generic-function ,this-method)
  			 ,this-method cnm-args))
  		(this-method () (values ,this-method))
  		(next-method-p () nil))
  	 (declare (ignorable (function call-next-method)
  			     (function next-method-p)))
  	 ;; KLUDGE. A direct reference to the compiled form of LAMBDA
  	 ;; most likely cannot be dumped to a FASL file.
  	 ;;
  	 ;; Note that the COMPILE call should only be called once,
  	 ;; however, when the METHOD-LAMBDA itself is compiled.
  	 ;;
  	 ;; FIXME: Capture errors and warnings from the COMPILE call
  	 (apply (compile nil ,lambda)
  		,method-lambda-args)))))
  
  (defmethod compute-effective-method ((genf monotonic-generic-function)
  				     (combin monotonic-method-combination)
  				     applicable-methods)
    (declare (ignore genf combin))
    (let ((the-method (car applicable-methods)))
      (values `(call-method ,the-method nil ,the-method)
  	    nil)))
  
  #+NIL
  (defgeneric frob (a b)
  