Homomorphic static analysis

marcosh:

and every time you have a Compose (First ...) (Second ...) you optimize it to a parallel computation

Yes, that’s exactly what I tried and which I couldn’t figure out. I need to somehow detect that Compose (First ...) (Second ...) is the same as Compose (First ...) (Fun id (Second ...)) unless I want to hurt Arrow/Profunctor laws and I have no idea how to do that, because I can’t do an equality check on a -> a.