From: james anderson
Subject: constraining instantiation
Date: Sun, 01 Jul 2001 14:42:01 +0000
Message-ID: <3B3F36B2.14E00E2D@setf.de>

?

is there a 'standard' method of checking a prospective class name to
determine if it will conform to a specific type *before* instantiating it?
- use subtypep? is this intended to succeed if the prospective class
name does not name a type?
- use find class and, where that succeeds, typep on the prototype?
- use find class and search the precedence list?

?