高階関数まで。