It&#x27;s this<p><pre><code>  contramap :: (a -&gt; b) -&gt; f b -&gt; f a

  http:&#x2F;&#x2F;hackage.haskell.org&#x2F;package&#x2F;contravariant-1.3.3&#x2F;docs&#x2F;Data-Functor-Contravariant.html#v:contramap</code></pre>