Как вывести правильный тип параметра из типа проекции?

У меня есть некоторые проблемы с тем, что Scala выводит правильный тип из проекции типа.

Учтите следующее:

trait Foo {
  type X
}

trait Bar extends Foo {
  type X = String
}

def baz[F 

Ответы на вопрос(2)

Ваш ответ на вопрос