Do you feel you could understand the Type System of Scala 3 further?
You're in luck! Check out this awesome talk by Bill Venners from Scala Love in the City Conference.
Understanding the Type System of Scala 3
In the first Scala Love online conference on April 17, 2020, I gave a talk entitled Understanding Scala’s Type System.
That talk mostly covered aspects common to Scala 2 and 3, it did cover union and intersection types. This talk is a continuation of that talk. It covers more advanced aspects of the type system, mostly new forms of types that are being introduced in Scala 3.