この記事は ML Advent Calendar 2020 の14日目の記事です． リストの Church encoding と言えば List.fold_right で表現することが多いように思いますが，果たして List.fold_right だけしか使わずに様々なリストについての再帰関数を表現できるのか疑問に思…