anchor.diff:                     (unless (type= `(or ,@subtypes) overtype)
                        `(,overtype ,@body))))))
         `(let ((,var ,expr))
  -         ,(if (> (policy-quality 'speed env)
  -                 (policy-quality 'space env))
  +         ,(if inline
                 (for-speed)
                 (for-space))))))
  
positive.code:                 (values (nreverse keywords) body)))))
      (rec nil body)))
  
  (defmacro with-templated-body (&environment env (var expr)
                                              (&key ((:type overtype) (required-argument :type))
                                                    (subtypes (required-argument :subtypes))
                                                    in-subtypes)
                                 &body body)
    "Macro to instantiate fast paths for subtypes of a given type."
    (let* ((subtypes
             (sort (remove-duplicates subtypes :test #'type=)
                   #'subtypep))
  
negative.code:                `(flet (,@(loop for fn in fns
                                 for type in subtypes
                                 collect `(,fn (,var)
                                              (declare (type ,type ,var))
                                            ,in-subtypes
                                            ,@body))
                         ,@(unsplice
                               (and default?
                                `(,default (,var)
  