Subclass types match classes and their subclasses. They are quite useful in situations that involve class arguments that need to be further constrained.
|t<||(x|<class> => <subclass>)||G|
|returns subclass type constrained to subclasses of x.|
|type-class||(x|<subclass> => <class>)||G|
|object that subclass type matches.|