Nicolas SchejtmanUnderstanding “Partial Unification” in ScalaAnd how it fixes the Scala compiler’s type inference8 min read·Apr 18, 2021--3--3