ラムダ式の引数リストで、型を推論させる場合に (s1, s2) -> … と記述できるが、s1 にだけ型を付けることは可能か。

ラムダ式の引数型を記述する場合、一部のみを記述し他を推論させることは文法上許されない。