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