如何为类型的并集定义类型类?

我遇到的问题是,当我试图在并集上定义类型类时,会得到无限递归。

trait Foo[A]:
  extension (a: A)
    def bar: String

现在假设我定义了以下给定:

given Foo[Int] with ...

given Foo[String] with ...

现在我想创建一个工会

type Value = String | Int

当然, Value 应该是类型类的成员。但如果我这样做:

given Foo[Value] with
   extension (v: Value)
     def bar: String = v match
       case i: Int => i.bar
       case s: String => s.bar

问题是 i.bar 和 s.bar 呼叫 bar 这与 价值 ,不与 Int 或 String ,最后我得到了无限递归。选角也无济于事。

因为 酒吧 是一个扩展函数,我不知道如何获得 Foo[Int] 和 Foo[String] 这样我就可以直接打电话了。有没有办法摆脱这种局面,或者我把自己逼到了一个角落?