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