Почему я не могу применить только подчеркивание к первому параметру в Scala?

Question

Я не знаю, почему шаблон d плох в этом списке ниже. Зачем нужно точное объявление типа?

def adder1(m:Int,n:Int) = m + n

val a = adder1(2,_) //OK
val b = adder1(_,2) //OK

def adder2(m:Int)(n:Int) = m + n

val c = adder2(2)(_)     //OK
val d = adder2(_)(2)     //NG:missing parameter type
val e = adder2(_:Int)(2) //OK

Я просто хочу знать причину, по которой шаблону d нужен тип параметра. Очень приветствую только показ языка цитирования spe c.