Looks like there's no good solution, see <https://...

# announcements

[karelpeeters]

Looks like there's no good solution, see https://stackoverflow.com/questions/44784328/how-to-obtain-all-subclasses-of-a-given-sealed-class .