correa should have about 5 more years in his prime. baez will have 3 and is already worse than correa.
look, if you guys want baez that's fine. but i can envision a million posts for the next five years about javy waiving at balls over his head, making boneheaded defensive plays because he's not paying attention, and a steady decline in his defense that erodes his value. but he will hit some monster home runs.
i think they should sign correa because he's a better player and is younger and will thus likely be a better player for longer.