Haskell library for doing category theory with a central role for profunctors

some background:

http://blog.sigfpe.com/2011/07/profunctors-in-haskell.html