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

  λ(T : Type)
→ λ(x : T)
→ λ(y : Bool)
→ Optional/fold T (Some x) Bool (λ(_ : T) → False) y