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