Haskell 98 Profunctors

 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.