для foo без алиаса?
https://scastie.scala-lang.org/oskin1/XJfWEBYAS6OLJ0hslhwxNA/13
Это не решение проблемы вывода типов
Тогда могу предложить поменять местами тайп параметры у Alg.
Спасибо, это то что нужно)
А почему это работает?
Частичная унификация в скалке так устроена, что она справа налево тайп параметры унифицировать пытается.
Обсуждают сегодня