type check

Перевірка відповідності типів (даних)