I am all for continuous building of the farm, but every now and then, one trade is needed. I'm not sure if Sox brass sees 2023 as "that year," but I think fans are getting antsy.
I'd prefer trading Casas to Mayer, since the upside is so much higher on the latter, but I'm not against it, if we get back a better pitcher than Casas would have gotten us.