TypeScript 5.x satisfies operator - practical use cases?