Category p => ProfunctorMonad (Procompose p)