Как использовать подстановочный знак для более высокодородного типа в Scala?

Допустим, у меня есть эта черта

trait Ctx[C, V[_]]

Я не могу создать сигнатуру метода, которая принимает Ctx, у которой второй параметр типа не указан (подстановочный знак). Например, это:

def test(c: Ctx[_, _]) = ()

не компилируется ( "ошибка: _ $ 2 не принимает параметры типа, ожидается: один" ). Я тоже не могу выполнить ошибку

def test(c: Ctx[_, _[_]]) = ()

( »: _ $ 2 не принимает тип параметры "). Что мне не хватает?