Typy zależne nie działają dla konstruktorów?

Typy zależne od ścieżki są przydatne:

Funkcja ograniczenia na podstawie pochodzenia (typ zależny od ścieżki? Generacja typu?)

Typ ścieżki zależny wewnątrz wartości klasy w Scali

Jakikolwiek powód, dla którego scala nie obsługuje jawnie typów zależnych?

Istnieją typy zależne od ścieżki i myślę, że możliwe jest wyrażenie prawie wszystkich funkcji takich języków jak Epigram lub Agda w Scali, ale zastanawiam si...