dhall-1.10.0: tests/normalization/optionalFoldA.dhall

    let f =
            λ(o : Optional Text)
          → Optional/fold Text o Natural (λ(j : Text) → +1) +2

in  { example0 = f ([ "foo" ] : Optional Text)
    , example1 = f ([] : Optional Text)
    }