Out of interest, where _does_ the word "profunctor" come from? Dug about for a bit online but found nothing.