Optional/fold A ([] : Optional A) B (λ(_ : A) → _) x