ラムダ式の引数リストを (s) -> と記述した場合、s の型はどう決定されるか。

ターゲット型(代入される側のインターフェースの抽象メソッド)の引数型に基づいて推論される。