Sometime Tropeço na notação semi-misteriosa de

def f[T](..) = new T[({type l[A]=SomeType[A,..]})#l] {..} 

nas postagens do blog Scala, que fornecem uma onda manual "usamos esse truque lambda de tipo"

Enquanto tenho alguma intuição sobre isso (obtemos um parâmetro de tipo anônimoA sem precisar poluir a definição?), não encontrei uma fonte clara descrevendo qual é o truque do tipo lambda e quais são seus benefícios. É apenas açúcar sintático ou abre novas dimensões?