Pushing TypeScript to the Extremes: The Most Advanced TS I’ve Ever Had to Write