ですよねー。 Tagged Union なのに Untagged Union っぽく振る舞わせるから混乱を招くんですよね。