Control.Lens.Iso: {di,l,r}mapping for Profunctors
Control.Lens.Iso.contramapping ∷ Contravariant f ⇒ Iso s t a b -> Iso (f a) (f b) (f s) (f t)