Union Typesというとタグ無しのほうの話かと思ったけどタグありの話が展開されている