今しがたTypeScriptでOpaque type aliases(strong typedef)の定義の仕方見つけたぞと喜んでたら、公式のissueにすでに似たような方法が提示されていた