Сокращение контекстных границ с более высокими родственными типами

Можно ли использовать сокращение синтаксиса контекстных границ с типами более высокого порядка?

trait One { def test[W   : ClassManifest]: Unit } // first-order ok
trait Two { def test[W[_]: ClassManifest]: Unit } // not possible??
trait Six { def test[W[_]](implicit m: ClassManifest[W[_]]): Unit } // hmm...