Thank you, in particular for the explanation! I tried to remove
UniqueRepresentation from Partitions, and indeed, the application I was
doing this for becomes a lot faster. However, there are many doctests
failing, so I'll postpone this.
Martin
On Thursday, 21 November 2024 at 18:06:30 UTC+1
The original reason for making UniqueRepresentation parents was for the
coercion framework: If parents are UniqueRepresentation you can use
equality-by-id and hash them super-easy (by id). Hence they can be looked
up quickly and we can key lookup of coercion-maps easily on fast hashes and
ident
