Scala Type System

>> Type Lambdas in Scala 3

>> Match Types in Scala 3

>> Type Inference in Scala

>> Intersection Types in Scala 3

>> Multiversal Equality in Scala 3

>> Opaque Type Alias in Scala 3

>> Type Disjunction (Union Types) in Scala

>> Path-Dependent Types in Scala

>> Demystifying View and Context Bounds

>> Higher-Kinded Types

>> Algebraic Data Types in Scala

>> Basics of Generics in Scala

>> Variances in Scala