Ring reference structs

If the data elements are static, it is possible to form cyclic data structures without boxing. Maybe you can declare a hierarchy of different data types taking into account the lifetimes as done for Seq Static, cyclic, infinite lists with Seq