Haskell library for doing category theory with a central role for profunctorsgithub.com/sjoerdvisscher1 pointhackandthink3 years ago