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

  λ(T : Type)
→ λ(f : ∀(optional : Type) → (T → optional) → optional → optional)
→ Optional/build T f