Type Lambda's in Scala: why is the extra (...) needed in ({type λ[α] = Either[A, α]})#λ ? Why not just {type λ[α] = Either[A, α]}#λ ?
Type Lambda's in Scala: why is the extra parentheses needed in a declaration?