Homomorphic static analysis

Yes, after the feedback here it seems relatively clear that Arrows are fundamentally sequential and for truly parallel diagrams I am on the look out for other solutions and the most convenient syntax for them. It seems plausible to me that compiling into a bicartesian category like overloaded does is the right approach. Next question is which bullet to bite syntax wise. A plugin makes sense. “Compiling to categories” would be an option. But of course not requiring any of them would be nice: I am still pondering whether it might be possible to use something like the trick in linear-smc to actually use vanilla arrow syntax to write bicartesion categories. I am not super happy that all bicartesian categories I can find on hackage have type parameters for products and coproducts instead of hardcoding (,) and Either.