Соответствие между типами