dhall-1.30.0: tests/lint/success/optionalFoldBuildA.dhall
{ example0 = Optional/fold
, example1 = Optional/build
, example2 = Optional/fold Natural (Some 1) Bool Natural/even False
}
{ example0 = Optional/fold
, example1 = Optional/build
, example2 = Optional/fold Natural (Some 1) Bool Natural/even False
}