TypeScriptでのBranded TypeとDiscriminated Unionの違いってなんだろうと思ったけど、ランタイムでも型情報(タグ)が残るかどうかが一番のポイントなのかな。TS書いてると、ランタイムでは型情報が失われることをどうも忘れがちになる。