Homomorphic static analysis

Thank you so much! Will definitely watch that. Question however: Can you make a bit more explicit what you mean with me aiming for “pointfree” style? My reasoning to try this is that a) profunctors/arrows felt like the reasonable abstraction to do this and b) the existence of arrow syntax, true.