 class="module-path">Pred__Seq.Monad</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><span class="keyword"> = </span><span class="type-var">'a</span> <a href="../index.html#type-t">t</a></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