dhall-1.24.0: dhall-lang/tests/normalization/success/unit/OptionalFoldNoneA.dhall

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