BTW, this also is sort of an answer to questions "...
# eap
d
BTW, this also is sort of an answer to questions "why no union types?" and "why intersection types are non-denotable?"