I had no idea you could compose string literal types AND infer variables using interpolation syntax in the context of conditional types.

I am salivating at the potential use cases for this...