 <a href="../../../index.html">MA</a> &#x00BB; <a href="../../index.html">TSL</a> &#x00BB; <a href="../index.html">Fold_Map</a> &#x00BB; 1-M</nav><h1>Parameter <code>Fold_Map.1-M</code></h1></header><aside><p>A <a href="../../../../../../../../../Interface/module-type-MONOID/index.html"><code>Interface.MONOID</code></a> only needs to be commutative with the <a href="index.html#val-empty"><code>empty</code></a> element.</p></aside><div><div class="spec include"><div class="doc"><details open="open"><summary>