Kirk from 2020 through June 2022:
460 PA, 3.7 WAR, .291.376/.486, 142 wRC+, .195 ISO
From from July 2022 - present:
717 PA, 2.7 WAR, .253/.336/.348, 97 wRC+, .095 ISO
I used those dates because July 2022 was when Kirk's power decline began, and it just continued from there. I'm not sure what lead to the power decline, but the ISO dipped significantly and never recovered. I think a lot of people are still clinging to the hope that he's closer to the pre-July 2022 player rather than the post, but there's more sample size (and more recency) with the below average slap hitter, unfortunately.
I think keeping Kirk over Moreno will prove to be a mistake, even if Varsho rebounds (which I expect/hope he will). Even if you got less back for Kirk, it might have still been worth it if it filled a need somewhere. The player Kirk has become post July 2022 is an ok starter/great backup. If Jansen could ever stay healthy I don't think it's a contest of which one is the better player at this point, but Atkins seems to think extending young players is against the CBA, so this might be Jansen's last season here. Of course if Kirk's power suddenly comes back, then the discussion (vs Moreno and Jansen) changes.