¿Qué se entiende por tipos dependientes de la ruta de Scala?

¿Alguna razón por la cual scala no admite explícitamente tipos dependientes?

scala - Conducir un tipo singleton a través de un brickwall - edu.lat