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