F-ограниченная квантификация через член типа вместо параметра типа?

Я хотел бы переместить параметр типа в член типа.

Это отправная точка, которая работает:

trait Sys[S 

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

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