The meaning of union and intersection types | Hacker News Reader