在Scala中键入Lambda：为什么在声明中需要额外的括号？

根据我的理解,类型声明{typeλ[α] = Either [A,α]}代表任何类型的其他类型的λ[α]作为其成员(与方法是类的成员完全相同的意义).这是一种结构类型,即其结构是具有类别别名声明λ[α]作为其成员.

另一方面,({typeλ[α] = [A,α]})#λ仅由于通过#的投影类型而仅为λ.

题：

为什么在进行类型投影时,{typeλ[α] = [A,α]}周围需要括号？为什么不只是{typeλ[α] = [A,α]}？λ？

换句话说,根据Scala Type declaration grammar(见下文),({typeλ[α] = Either [A,α]})#λ的精确解析树是什么？

为什么{typeλ[α] = [A,α]}#λ在这个语法中不是一个正确的“句子”？

Type              ::=  FunctionArgTypes ‘=>’ Type
                      |  InfixType [ExistentialClause]
  FunctionArgTypes  ::=  InfixType
                      |  ‘(’ [ ParamType {‘,’ ParamType } ] ‘)’
  ExistentialClause ::=  ‘forSome’ ‘{’ ExistentialDcl
                             {semi ExistentialDcl} ‘}’
  ExistentialDcl    ::=  ‘type’ TypeDcl
                      |  ‘val’ ValDcl
  InfixType         ::=  CompoundType {id [nl] CompoundType}
  CompoundType      ::=  AnnotType {‘with’ AnnotType} [Refinement]
                      |  Refinement
  AnnotType         ::=  SimpleType {Annotation}
  SimpleType        ::=  SimpleType TypeArgs
                      |  SimpleType ‘#’ id
                      |  StableId
                      |  Path ‘.’ ‘type’
                      |  ‘(’ Types ‘)’
  TypeArgs          ::=  ‘[’ Types ‘]’
  Types             ::=  Type {‘,’ Type}