osition:</p><pre><code class="ml"># let compose f g x = f (g x);;
val compose : ('a -&gt; 'b) -&gt; ('c -&gt; 'a) -&gt; 'c -&gt; 'b = &lt;fun&gt;</code></pre></li></ul><p>Thsee laws describe what's meant by <i>composably mappable</i>: the <code>map</code> function together with function composition (<code>compose</code>) should be sort of <a href="https://en.m.wikipedia.org/wiki/Distributive_property">right-distributive</a> and work together in a nice way.</p><p>Here are some concerete examples:</p><ul><li>