Generalized outside to work over any representable profunctor