Can this be described as a "packed representation"? https://www.tweag.io/blog/2017-08-24-linear-types-packed-data/ https://drops.dagstuhl.de/opus/volltexte/2017/7273/