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

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