TypeScriptで「AがtrueだったらBを必須にする」を実現する