dhall-1.42.3: dhall-lang/tests/normalization/success/regression/UnsaturatedBuiltinsB.dhall

{ example0 = Natural/fold 0
, example1 = List/fold Bool [ True ]
}