昨日の T|U の話がまさに値と型を混同していて、 T|U は T と U の値を同時に保持できないけど、 T&U の値は保持できる。