word">val</span> associativity : <a href="argument-1-M/index.html#type-t">M.t</a> <span>&#45;&gt;</span> <a href="argument-1-M/index.html#type-t">M.t</a> <span>&#45;&gt;</span> <a href="argument-1-M/index.html#type-t">M.t</a> <span>&#45;&gt;</span> bool</code></dt><dd><p>From <a href="../../Semigroup/Law/index.html"><code>Semigroup.Law</code></a></p><p><code>associativity x y z</code> is <code>true</code> when</p><pre><code class="ml">S.(x * (y * z)) = S.((x * y) * z)</code></pre></dd></dl><dl><dt class="sp