Use Option.fold.