(Applicative f, ProfunctorMonoid p) => ProfunctorMonoid (Cayley f p)