соответствие типов