The author is aware of the fact that mutability makes this kind of problem easier [0]

[0] https://twitter.com/josevalim/status/1379771275627921409?s=1...