Состояние типа Scala по отношению к Scalaz

Question

Как видно из ответа Алексия для this question, при выполнении последовательности на Seq[Validation[X, A]] вам нужны параметры явного типа котла с явным типом sequence[({type L[Y] = Validation[X, Y]})#L, Y].

Такая же потребность может возникнуть с другими типами данных/функциями.

Вопросы, связанные с устраняя необходимость в таких явных типов с помощью улучшения вывода типа являются:

• ли теоретически можно сделать в Scala?

• Если да, то это на дорожной карте Scala? Когда можно ожидать решения?

• Если нет в дорожной карте, то это решение легко/умеренно/трудно достичь?

• Может ли простой человек сделать что-либо, чтобы продвинуть дело?

Любые указатели относительно проблемы приветствуются.

(Here is a slightly related issue, но не обсуждать будущую перспективу)

Answer 1

ретроним говорит здесь What are type lambdas in Scala and what are their benefits?, что будущая версия Скале может улучшить это. Поэтому я думаю, что можно улучшить синтаксис. Но, насколько я понимаю, мы сталкиваемся с некоторой невозможностью в Scala из-за подтипов