Два типа имеют совместимый тип, если их типы одинаковы: запутанный

Question

C2x (N2596), 6.2.7 Совместимый тип и составной тип, 1:

Два типа имеют совместимый тип , если их типы совпадают.

Смущенный:

• Как тип может иметь тип? Или что значит "их типы"?
• Что значит "совместимый тип"? Есть примеры?

Уточните, пожалуйста, кто хорошо знает тему.

Answer 1

Предложение означает, что если тип и тип одного и того же типа, то Xсовместим с Y(и наоборот, разумеется).

С математической точки зрения это означает, что совместимость является рефлексивной (любой тип совместим сам с собой).