What are type projections useful for?

Question

What are type projections in Scala useful for? Why does Scala\'s type system support both type projections and path dependent types? What was the rationale behind this design de

Answer 1

One thing type projections can be used for is partial type application:

({type λ[x]=Tuple2[Int,x]})#λ