Dependent object types with implicit functions
Scala3
の implicit?
Dependent object types with implicit functions | Proceedings of the Tenth ACM SIGPLAN Symposium on Scala