TypeScript: Padroneggiare l'operatore `satisfies`