Existen tipos dependientes de la ruta y creo que es posible expresar casi todas las características de lenguajes como Epigram o Agda en Scala, pero me pregunto por qué Scala no admiteesta ¿Más explícitamente como lo hace muy bien en otras áreas (por ejemplo, DSL)? ¿Algo me falta como "no es necesario"?