> 型宣言が必須だと高階関数が面倒くさい
別にめんどくさくない。