I'd be all over that. I wouldn't fault you either way though.
Norris has been pitching very well this year. Pagan is a super steady producer. Bautista is a beast.
Lincy gets good numbers, but nothing like Bautista. Rasmus produces well, but so does Pagan. Martin may or may not be a top tier catcher going forward. He'll benefit from a favorable ballpark and lineup, and potentially produce at a weak position.
So both sides have value, and I think it's a very fair trade. Given that, I'd rather be on the side getting the beast in Bautista.