判別可能なユニオン型