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