`{ [key: string]: Blob }`のように定義した場合、キーの型は`string`となりますが、それをさらに絞り込むことはできません。

`"png" | "jpeg" | "webp"`のように特定の文字列リテラル型をキーにしたい場合、Index Signatureを使用することはできません。代わりに、マップオブジェクト型（Mapped Object Type）を使って次のように定義することができます。

```ts
type Result = {
  [Key in "png" | "jpeg" | "webp"]: Blob
}
```

これにより、`Result`型ではキーが`"png"`または`"jpeg"`または`"webp"`のいずれかであることが保証されます。

TSでは以下のように書くことで任意のKeyを持つHashの型を定義できます。

```ts
{
  [key: string]: Blob
}
```
このとき、keyの型をstringからさらに絞るにはどうすればいいでしょうか
以下のようにするとエラーになります。

```ts
result: {
  [key: "png" | "jpeg" | "webp"]: Blob
}
```

`An index signature parameter type cannot be a literal type or generic type. Consider using a mapped object type instead.ts(1337)`

TSの任意のKeyを持つHashの型