Existem tipos dependentes de caminho e eu acho que é possível expressar quase todos os recursos de linguagens como Epigram ou Agda em Scala, mas eu estou querendo saber porque o Scala não suportaisto mais explicitamente como faz muito bem em outras áreas (digamos, DSLs)? Algo que eu estou sentindo falta "não é necessário"?