@simon.vergauwen can typeclasses be implemented with the new

context()

thingy?

Yes, but not all functionality for which they’re used in Haskell and Scala. I.e generic derivation requires compile type injection and higher kinded types are still needed to abstract over containers. But many other useful patterns that typeclasses are used for can be replaced by context receivers. To work around HKT limitation we’ve started using (monadic) DSLs and that eliminates the need for HKTs in Kotlin IMO. Generic derivation is a bit niche, and other solutions are typically used. KSP or plugins.

damn

Perhaps to clarify. TL;DR On paper no, in practice yes 😄

oh