оложим, у меня есть черта с двумя параметрами типа, например,

trait Qux[A, B]

и другой признак с параметром типа с более высоким родом, например,

trait Turkle[C[_]]

Я хотел бы иметь возможность заменить фиксированное значение для одного из параметров типа дляQux, так что это может быть использовано для параметризацииTurkle.

Вот пример (кода, который не имеет смысла в Scala!):

trait Baz[A] extends Turkle[Qux[A, _]]

У кого-нибудь есть идеи, как этого добиться?