type-check

Перевіряти відповідність типів