The most similar thing I've seen is https://www.cs.tufts.edu/~nr/cs257/archive/brent-yorgey/monoid-pearl.pdf https://www.cs.tufts.edu/~nr/cs257/archive/brent-yo

The most similar thing I've seen is https://www.cs.tufts.edu/~nr/cs257/archive/brent-yorgey/monoid-pearl.pdf https://www.cs.tufts.edu/~nr/cs257/archive/brent-yorgey/mono... (with the qualification that I'm basing this not on the document we're discussing in this thread, but my earlier tries at understanding enfilades from poorly-preserved explanations. With that caveat, I thought the Yorgey paper described the same idea.)