from カリー化

型のあわない関数とデータがあるときに

手続き型では、データをいじって関数が受け取れるように書き直すが

関数型では、受け取る関数の側を変える

という言及は面白い