tagged unionとuntagged unionって型自体が違うし