instance (Closed p, ProfunctorMonoid p) => ProfunctorMonoid (Closure p)