Additional instances and zapWith.

(I wonder if each adjunction yields a conjoined profunctor...)