TS Meetup #5.5 - Tițian Cericova-Dragomir - Understanding Variance in the TypeScript Type System