Mhh, good question.

Then it would have to look like `f[B, A <% B](a: A)` --> `f: [B, A](a: A)(implicit ev: A => B)`.
Maybe one should pick an actual existing bound as an example instead ...