Profunctors seem like they'd be useful for representing the output of a program analysis. For example, given some information about a function $f$, the profunctor would tell you what information can be derived about compositions of $f$ with other functions.
Does anyone have any references to work along these lines?