https://peterkellner.net/2023/06/15/Understanding-TypeScript-Type-Assertions/