Returns a type representing a class and its subclasses. Without subclass, methods on generic functions (such as make and as) that take types as arguments are impossible to reuse without resorting to ad hoc techniques.
| class | An instance of <class>. |
| subclass-type | An instance of <subclass>. |