関数でも再現して、第二引数つけると 4.0 でも推論効くので、