高階関数の解説を読むたびに出てくるカリー化がそれオーバーロードでよくね？って思うんだが誰か納得感ある説明頼む