The idea isn't necessarily to de-anonymize the transactions here but to disincentivize people from using mixers. Either a haircut kills a portion of your value, or you lose it all, the idea is you won't do that again.

That doesn't change that legally it still kills all your money, and creates a liability on the person who put in the dirty money. If you figure out who they are it's all you, you're welcome to sue them. If not, you've learned a hard lesson.

I'm fine with either.