Када користите тврдње о типу (претпоставке типа) и какви су ризици повезани с тим?