@hironytic 「値を持っている」だと || じゃなくて XOR になってしまって || に対応するのは These<T, U> になってしまうから「値的に」ではなく「型的に」ということなんじゃないでしょうか？ (edited)