Haskell library for doing category theory with a central role for profunctors | Heykuki News