If Mets sign Bauer, that would be a fun rotation, especially when Syndergaard comes back. DeGrom, Bauer, Syndergaard, Stroman, Carrasco with Peterson, Lucchesi, and Lugo as depth.
Edit: Although on the MLBTR comments of this trade, some Mets fans think this was done to declutter some the starting pitching depth as Matz isn't really needed. But we will see.