Gives the names of all the subtypes of A.
A
Gives the names of all the subtypes of A. Note that it is not limited to case objects: it works with any sum types.