this way, given any kind, one can always reliably ...

# arrow-contributors

[Eugenio]

this way, given any kind, one can always reliably traverse the hierarchy, arrive at the kind "id", and from there there's a direct link to the type