R
Size: a a a
R
w
SK
def identity[A](x: A): A
, но нельзя написать val id = [A](x: A): A
. val id = identity _
не считается, т.к. как раз конструирует Function1. Был ПР, который добавлял в дотти polymorphic function types и нормальные значения типа полиморфных функций, но пр загнулся, жальAT
R
R
R
AT
AT
R
AT