Так компилится, только не знаю, это ли тебе надо. Через лямбда-тип будет менее читаемое вроде. type LL[A, B] = Dog implicit val dogProduct = new Product[LL] { override ...
@oli Там в четверг что-то с Де Гузом планировалось - где смотреть? (Ну и 47-й выпуск Скалалаза пропал с ютуба) .
Ну ты обсуждение о trailing comma читал? https://github.com/scala/docs.scala-lang/pull/533 Удобно добавлять новые элементы в конец или удалять, не редактируя предыдущую строч...
Прилично - это приблизительно сколько?
И они общались между собой?
На каком устройстве?