@Override
 public <M> F<S, M> foldMap(final Monoid<M> monoid, final F<A, M> f) {
   return pTraversal.foldMap(monoid, f);
 }