which means that, theoretically, you could travers...

# arrow-contributors

[Eugenio]

which means that, theoretically, you could traverse the Kind hierarchy, only to find that the "id" is NOT of the right type, and there's no link to the real type