And... I sat and meditated over O food about intersection and union types. Something is just wrong with them. The obvious inference rules are sound but not complete with respect to the obvious (subset) semantics, as far as I can tell, for my incredibly naive notions of obviosity since I have just begun to dip my toe in the raging, foaming waters of the subject.
EXTRA! Our neighbors are amusing. They apparently have regular Saturday-night parties. They done have terribly loud music, so I don't mind too much. Conversation that occurred just now:
Some girl: "Hey! Hey you!"
Me: [innocent look, not used to people shouting at me from outside]
SG: "Yeah, you! Why is your house so... green?"
M: "Uh, we have this green light. We got it at Ikea."
[It really does make the whole inside of the house look freakishly green
at night from the outside. I think it looks kind of cool. From the inside,
you just sort of get used to it.]
SG: "Doesn't it bother you?"
M: "Not really."
Some Party Guy: "You want a beer? Or a Jello shot?"
M: "Thanks, no."