07 - Scala. Path-dependent types