n class="keyword">Module type</span> <span class="module-path">Pred__Interfaces.Monad.Implementation</span></h1></header><div class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><div class="def type"><code><span class="keyword">type </span>'a t</code><code></code><code></code></div><div class="doc"></div></div><div class="spec type" id="type-comonad"><a href="#type-comonad" class="anchor"></a><div class="def type"><code><span class="keyword">type </span>'a comonad</code><code></code><code></c