dhall-1.28.0: dhall-lang/tests/normalization/success/unit/OptionalBuildFoldFusionB.dhall

  λ(T : Type)
→ λ(x : Optional T)
→ Optional/fold T x (Optional T) (λ(a : T) → Some a) (None T)