Здесь написано:

<lambda_expr> ::=
    'fun' [ <method_type_parameters> ] '(' <method_parameters> ')' [ ':' <type> ] [ <where_constraints> ] <block>

Вопрос 1: почему '(' <method_parameters> ')' нельзя пропускать, как в C#?
Вопрос 2: как юзать <method_type_parameters> в этом контексте?