Do functions created by DEFTYPE, DEFINE-SETF-METHOD and DEFSETF have the same restriction as DEFMACRO (page 145 CLtL) does about where the function body is effectively defined, i.e. would it be legal to take DEFTYPE, DEFINE-SETF-METHOD and DEFSETF forms and evaluate them as if <form> (wherever it appears) is (EVAL '<form>) ... --David