Yup, that's basically the same argument I'm making with this diagram -- with text, you can get useful operations "for free"

http://www.oilshell.org/blog/2022/02/diagrams.html#text-narr...

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

It's generally not something you want to reimplement ...