Looks like this[1] could eliminate quite a bit of typeclass boilerplate. And this[2] opens the door for typed literals in Scala (which are quite a nice feature

Looks like this[1] could eliminate quite a bit of typeclass boilerplate. And this[2] opens the door for typed literals in Scala (which are quite a nice feature in TypeScript). Will be interesting to see what use cases library authors apply TLP to in Dotty/Scala 3. [1] https://github.com/dotty-staging/dotty/blob/add-transparent/docs/docs/typelevel.md https://github.com/dotty-staging/dotty/blob/add-transparent/... [2] https://github.com/dotty-staging/dotty/blob/add-transparent/docs/docs/typelevel.md https://github.com/dotty-staging/dotty/blob/add-transparent/...