λ(_ : Type)
→ λ(_ : Optional _)
→ Optional/fold _@1 _ Bool (λ(_ : _@1) → False) True