There are a lot of interesting possibilities with template literal types. I've discussed some of them here:

https://davidtimms.github.io/programming-languages/typescrip...