dhall-1.11.0: tests/normalization/examples/Natural/fold/2B.dhall

λ(natural : Type) → λ(succ : natural → natural) → λ(zero : natural) → succ (succ (succ zero))