<a href="index.html#module-type-Kind">Kind</a>) <span>&#45;&gt;</span> <a href="index.html#module-type-S">S</a> <span class="keyword">with</span> <span class="keyword">module</span> <a href="Make/Kind/index.html">Kind</a> = <a href="Make/index.html#argument-1-Kind">Kind</a></code></div><div class="spec module" id="module-Dummy"><a href="#module-Dummy" class="anchor"></a><code><span class="keyword">module</span> <a href="Dummy/index.html">Dummy</a> : <a href="index.html#module-type-S">S</a> <span class="keyw