The set of sealed subclasses you are accessing in `children` only shows ones that have already been initialized. It depends on the order of typechecking sources and/or forcing the info of symbols from the class files. But we know where to find them: in the members of the companion module.