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