Functional Typelevel Programming in Scala 3 (Martin Odersky)
github.com