path-dependent type についてはよくわからないけど、 Scala にあるっていうから Scala を勉強すればわかるかも。