In my reading of the specification for TYPEP, I see nothing that would rule out (TYPEP X 'FUNCTION) It does rule out any list-type argument whose car is a list (or any specifier containing such a list). As you surmised, the intention was to make it clear that the implementaiton is not required to keep around the argument-type or return-type information for each function. -- Scott