Suponhamos que eu tenha uma característica com dois parâmetros de tipo, por exemplo,

trait Qux[A, B]

e outra característica com um parâmetro de tipo mais alto, por exemplo,

trait Turkle[C[_]]

Gostaria de poder substituir um valor fixo por um dos parâmetros de tipo paraQux, para que possa ser usado para parametrizarTurkle.

Aqui está um exemplo (de código que não faz sentido no Scala!):

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

Alguém tem alguma idéia de como conseguir esse efeit