Added something to 'compact' a profunctor composition, when the target forms a category. This is useful with the `Rift p p` monad.