TypeScript には内部的に細かに分かれている型がある。

TypeScriptにはanyが4種類、undefinedが3種類、……

zenn.dev

JavaScript に型を持ち込んだことでも有名な TypeScript さんですけども、内部的にはさらに細かに型が分かれていたりするそうですよ。いろいろなケースで上手いことトランスパイルできるようにと賢い人たちが考えたのでしょう。興味深いですね、面白いですね。でも、全然理解は及ばないです……。