そうか Pair<T, U> → Tの値を持っている && Uの値を持っている Either<T, U> → Tの値を持っている Uの値を持っていると言えばよかったのかも。無理に && とを使って説明するには。