えーっと

7:59 AM

型の話と値の話がごちゃまぜになっていて混乱している気がする

8:00 AM

型Aと型Bを状態として取りうる→Either、型的に論理和値Aと値Bのどちらか片方、或いは両方がある→These、値的に論理和 (edited)

8:00 AM

こういう話ではないでしょうか。