Introdução

Type guards → provam o tipo explicitamente

Narrowing → é o processo mais amplo, que inclui type guards e outras formas de afunilar

Narrowing

├── Type Guards