Template Literal Typesはinferを組みあわせると色々遊べるのです。 Fukuoka.ts #3 の発表資料です。
参考資料 https://github.com/sindresorhus/type-fest