|  |  | Subclasses

## Subclasses

Subclass types match classes and their subclasses. They are quite useful in situations that involve class arguments that need to be further constrained.

`<subclass>` | `(<type>)` | `C`
`t<` | `(x|<class> => <subclass>)` | `G`
| returns subclass type constrained to subclasses of `x`. |
`type-class` | `(x|<subclass> => <class>)` | `G`
| object that subclass type matches. |

|  |  | Subclasses