TypeScript types, drawn as sets — an interactive Euler-diagram playground for teaching the type system - View it on GitHub