Template literal types (a) have nothing to do with tagged template literals, and (b) are a game-changing feature, allowing you to write compile-time string parsers.
I’m not entirely sure this is a good thing. But it’s certainly convenient in some instances.