Has anyone run into this paper before? I've had the idea in my head for awhile "What if you could use an interface based on optics as an API?" -- looks like someone has put some work into that kind of idea. https://arxiv.org/abs/2009.00997#

@Nathan Bedell We used to have arrow QL which was similar in scope in the sense that it’d give you a DSL based on the now gone functor hierarchy. I personally know Jesus and Juanma and have read about their work in this space and it’s probably worth exploring to see what that looks like with arrow optics.