classOf []用於更高類型的類型

Question

給定class Foo[F[_]] ，如何獲取Class對象？ 常用語法不起作用：

scala> classOf[Foo[_]]
<console>:9: error: _$1 takes no type parameters, expected: one
              classOf[Foo[_]]
                          ^

也沒有

scala> classOf[Foo[_[_]]]
<console>:9: error: _$1 does not take type parameters
              classOf[Foo[_[_]]]
                          ^

Answer 1

嗯對 如果有人尋找它，則留給它：

scala> classOf[Foo[F] forSome { type F[_] }]
warning: there were 1 feature warning(s); re-run with -feature for details
res0: Class[Foo[_[_] <: Any]] = class Foo