Well, opaque types are pretty useful. However with my initial dev with dotty, this particular feature that I am getting at has failed.

Well, I might be wrong by the way (still not exp with dotty). So take it with a grain of salt

Please find my example

https://scastie.scala-lang.org/afsalthaj/8UrwpH8vT5mk8GQ6qkPOpQ/16

I wouldn't prefer anything more (as code) to make the above snippet work because that defeats the purpose.

The good thing, it fails with ambiguity rather than picking the wrong implementation