>>442
> とした時にbは、aを引き数にとる総称関数に呼ばれないような。

呼ばれている気がするけど外してる?
(progn
  (defstruct parent
    (foo))
  (defstruct (child (:include parent))
    (bar))
  (defmethod my-method ((object parent)) (parent-foo object))
  (setq child (make-child :foo 'foo :bar 'bar))
  (my-method child))
=> FOO