Honestly the most egregious part of the deal for the Spiders is throwing in Carrasco.
We all know they would refuse to pony up for a Lindor extension (stupid in its own right), but basically just giving up one of your longest-tenured players who still has 2/3 years of reasonable control is just a smack in the face to their fans. It's not like the Mets, or any other team, wouldn't have given up this much if CC is left out of the deal.