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