Scalaの経路依存型(path-dependent type)とは?

Functional Programming in ScalaのWikiを翻訳している中で path-depe…