How would you propose to generalize SUBTYPEP, so that making it generic would be useful? Unlike TYPEP, it operates only on type "names", rather than on random objects. The current name spectrum only includes symbols and and certain list constructs over them; e.g. VECTOR NEW-DEFSTRUCT-KIND (ARRAY SINGLE-FLOAT *) (OR INTEGER FLOAT) and so on. -- JonL --