I was thankfully informed by Douglas Mennella that the before and after diagrams for section 3.7 of my thesis don't make sense, and I agree. The official version appears to have the wrong trees in it. Here are the correct trees: before: F F │ ├───┬───────┐ E G G E │ ├─┐ ├─────┐ │ B| Fastidious Elegance
Previously, Co-dfns could only support ranks <= 4. Now, the architecture supports arbitrarily large array sizes, though this is only partially used in various primitives. See the release notes for more details. However, this is a bigger deal than it might seem, as it opens up a number of new features| Fastidious Elegance