This might be interesting:

Structuring Arrays with Algebraic Shapes

https://dl.acm.org/doi/abs/10.1145/3736112.3736141

https://news.ycombinator.com/item?id=44399757