TypeScript: Mastering the `satisfies` operator