この非交和(直和)の定義、初めて見たとき全然ピンとこなかったんだよな この1とか2はどこから出てきたんだよって(tagged unionを知ってる今だとtagなんだなってなる)