Profunctor library for Purescript