Mi a neve annak az ellenőrzésnek, mint az if ('payload' in data), amelyet a típus szűkítésére használnak?