d">Module</span> <span class="module-path">Pred.Interfaces.Monad.Make</span></h1></header><h3 class="heading">Parameters</h3><div><div class="spec argument" id="argument-1-M"><a href="#argument-1-M" class="anchor"></a><div class="def argument"><code><a href="argument-1-M/index.html">M</a> : <a href="../index.html#module-type-Implementation">Implementation</a></code></div><div class="doc"></div></div></div><h3 class="heading">Signature</h3><div class="spec type" id="type-t"><a href="#type-t" class="anchor"><