On 15.01.22 10:34, Elronnd wrote: > More practically, if somebody does write a compacting GC, it will be > child's play for them to go and add a 'hash' field to Object and change > the implementations of cmp and toHash. Seems like that would make class object construction impure.