For deeply immutable structures with cycles it's possible to use a single reference count. This might be cool to implement in FrankenScript See: https://dl.acm.org/doi/10.1145/3652024.3665507