Предположим, у меня есть черта с двумя параметрами типа, например черта Qux [A, B] и другая черта с параметром более высокого порядка, например trait Turkle [C [_]] Я бы хотел иметь возможность заменить фиксированный ...