適当にソースを整理してみた．applyの代わりに[]で適用できるようにしたり．しかし，もっと綺麗に書けると思うんだけど．ラムダ計算 - Wikipediaを参考に適当に書いただけなので，思い切り勘違いしているかも．zeroとsuccのラムダ式があれば，そこからすべて…