Church数(Church numerals)に関するこの問題を自力で解くのは難しいと判断したので、ウェブで模範解答を探してみました。すると、id:tanakaBoxさんの素晴らしい解説を見つけ、またdankogaiさんの関連エントリーも発見することができて、とても良い刺激を受け…