でもそれって、untagged unionを使うAPIの設計者がtypealiasを付けてくれないとダメじゃない？それを強制したいならtagged unionが必要なのでは？