Control.Lens.Iso.contramapping ∷ Contravariant f ⇒ Iso s t a b -> Iso (f a) (f b) (f s) (f t)