Closed srijs closed 8 years ago
Right now all the interaction between profunctors
and semigroupoids
has been kicked out to semigroupoid-extras
for a whole pile of reasons.
This may be better moved there.
I'm going to reject this one on the grounds previously mentioned. If you added this to semigroupoid-extras
the patch would go in no problem.
procomposed
requires the profunctor to be a category, although it is only using composition, not the identity. This patch adds aprocomposed'
which is relaxing the constraint to only require a semigroupoid.