@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.