Tobias, I first learned about profunctors when I wrote the paper on heteromorphisms, and John pointed out that I had reinvented profunctors so I added those references...