This `SelfUniq(MutImmutable)` seems like a holdover that ought to be removed too