module-type-MEDIAL_MAGMA_F">MEDIAL_MAGMA_F</a></code></div><div class="spec module" id="module-Semigroup"><a href="#module-Semigroup" class="anchor"></a><code><span class="keyword">module</span> <a href="Semigroup/index.html">Semigroup</a> : <a href="index.html#module-type-SEMIGROUP_F">SEMIGROUP_F</a></code></div><div class="spec module" id="module-Functor"><a href="#module-Functor" class="anchor"></a><code><span class="keyword">module</span> <a href="Functor/index.html">Functor</a> : <a href="index.html#mo