Profunctors, Arrows, & Static Analysis(elvishjerricco.github.io)

https://elvishjerricco.github.io/2017/03/10/profunctors-arrows-and-static-analysis.html