Profunctors are a generalization of relations and also of bimodules. they are related to the notion of correspondences.

this package provides a library for the haskell programming language. see http://www.haskell.org/ for more information on haskell.