dhall-1.22.0: dhall-lang/tests/normalization/success/unit/OptionalFoldSomeA.dhall

Optional/fold A (Some x) B (λ(_ : A) → _) z