Может кто-нибудь объяснить разницу между проверкой типа и проблемой вывода типа проблема? Я пытался...