Wasabi Wallet is lite wallet focused on privacy. It has coin join function allowing to mix coins with other users of the Wallet. It uses Tor by default to anonymize the user. It uses BIP-157 block filters to protect user's list of addresses. In Electrum servers see the list of user's addresses, so if one address is deanonymized, the whole wallet is. In wasabi you see if a coin was mixed (anonymized) and who may know about your ownership of it.

I think the Wallet is worth being added to Whonix workstation and also to Whonix documentation to this section: https://www.whonix.org/wiki/Bitcoin#Anonymizing_Existing_Bitcoins as it is a non-custodial and cheap way of mixing better in my opinion than washing through exchanges and/or Monero.