[junon]

You're incorrect, sorry. It's very easy to creat cycles in inner-mutable data structures (e.g. Rc).