获取实例化对象中的类型参数类型

Question

给定trait类型成员：

trait Bippy {
 type A 
}

object BippyImpl extends Bippy { override type A = Int }

我可以使用A类型的BippyImpl：

scala> val x: BippyImpl.A = 42
x: BippyImpl.A = 42

然后，给定trait带有类型参数：

trait Foo[A]

我可以通过以下方式定义实例：

object FooImpl extends Foo[Int]

但是，如何才能从Foo访问FooImpl的类型？