Why does Scala have path-dependent types?...

How to avoid awful type casts working with path dependent types?...

How to achieve argument and path dependent type parametrization in constructor?...

Force dependent types resolution for implicit calls...

Scala Dependent type does not compile...

Scala: Returning a dependent type...

Path-dependency and inner classes...

Simulate a path-dependent type in Haskell...

How to use path-dependent types with type classes in Scala...

why does scala's implicit lookup ignore companion object of nested class...

Enforce that all inputs of some type `T` to methods of a trait `F` have been previously produced by ...

Scala: are generalised type constraints "type operators"?...

Scala copy class with path dependent types and covariant parameter...

Correlate two type parameters...

Why do we need to specify a refined type (or its equivalent Aux) for the output of certain type comp...

Abstract type, variables and typeclasses in Scala...

Path-dependent types without a path?...

How to model interdependency between fields of a case class?...

Scala lifting enums to native types with path-dependent types...

In Scala, how can I restrict multiple parameters must be a type inside the same type?...

Scala: implicit lookup of type class instance for path-dependent type...

Path Dependent Types example doesn't work...

Scala types: Class A is not equal to the T where T is: type T = A...

Removing path-dependency from type check in Scala...

Path-dependent argument type is not enforced (?)...

Referring to a the sub-type of a path-dependent type...

How to pattern match with dependent type without using it?...

Path-dependent typing over match/case...

Passing around path dependent type fails to retain dependent value...

Scala type projection: pick an object within a path-dependent trait...