Thus, in the simplest type systems, the question of whether two types are compatible reduces to that of whether they are equal (or equivalent).
V nejjednodušším typovém systému se tedy otázka, zda jsou dva typy kompatibilní, redukuje na to, jestli jsou stejné (nebo ekvivalentní).