Существуют зависимые от пути типы, и я думаю, что в Scala можно выразить почти все особенности таких языков, как Epigram или Agda, но ямне интересно, почему Scala не поддерживаетэтот более явно, как это очень хорошо в других областях (скажем, DSL)? Все, что ям отсутствует какэто не обязательно" ?