="../../../index.html">alg_structs</a> &#x00BB; <a href="../../index.html">Alg_structs__</a> &#x00BB; <a href="../index.html">Monoid</a> &#x00BB; Law</nav><h1>Module <code>Monoid.Law</code></h1><p><code>Law</code> notes the laws that should be obeyed by any instantiation of <a href="../module-type-S/index.html"><span>Monoid</span></a> in the form of predicates that should hold true for any arguments of the appropriate type.</p><p>You can use the <code>alg_structs_qcheck</code> package to generate property b