I wanted them to trade Green, but you could at least argue that he's useful for a 2025 team that wants to contend. IKF was not necessary, as there is no shot he's going to sustain his current level of production and there are many internal options that could replace him. So from that standpoint, if they had to trade one, then they probably traded the right one for their goals. Whether they made the right decision to keep Green in general depends on what they turned down. Maybe another team didn't want to take his whole salary (very possible) and the Jays didn't want to eat any.
Regardless, very pleasantly surprised with the deadline. The Jays didn't really trade much but they got way more back than anyone could have imagined.