Slides from my talk at the Typelevel Summit/NEScala Symposium 2023 - View it on GitHub