Pavelは Generic パラメータに関数型を当てるののランクを下げるべきっていってますね。