[tech notebook] APIs against dependent types in Scala https://tech.interfluidity.com/2023/12/06/apis-against-dependent-types-in-scala/index.html

// are projection types icky or cool?

#scala