ラムダ式「(s) -> System.out.println(s)」の引数sの型はどのように決定されますか。

コンパイラがターゲットとなる関数型インターフェースの抽象メソッドの定義から型を推論します。