Understanding Type Projection

Question

Taken from typelevel/kind-projector, what's the distinction between:

// partially-applied type named "IntOrA"
type IntOrA[A] = Either[Int, A]

and

// type projection implementing the same type anonymously (without a name).
({type L[A] = Either[Int, A]})#L

?

Are they equivalent?

Answer 1

They are almost equivalent, as it is said in the comment.

Say you have a class trait Super[F[_]] {}, and you want to implement it where F[x] = Either[Int, x] You could write:

type IntOrA[A] = Either[Int, A]
class B extends Super[IntOrA] {}

But if you want a one liner, you could write:

class B extends Super[({type L[A] = Either[Int, A]})#L] {}

Or with kind-projector you could write it like:

class B extends Super[λ(A => Either[Int, A])] {}

or even:

class B extends Super[Either[Int, ?]] {}

there is no other difference than making it a one line and having this type anonymous.