TypeScriptの型エイリアスにまつわるあれこれ

図1　NumStrの実体の型定義に反してエラーとなった画面