I think he means to make a list of all member of the type and then iterate over it. Then you have the options method that get a union type and can render the correct output
I think this is a pretty pedantic reason to dismiss a language, personally.
Granted, though, there aren't many languages that can handle that. As far as I can see, it requires compile-time code execution.