guage &quot;pure&quot; because only the runtime or the unsafe escape hatch can run the effects.</p><p>If you want to see an example of how Purescript-like lazy effects are written in Ocaml, see <a href="https://github.com/Risto-Stevcev/bs-effects">Bs-effects</a>.</p><h5 id="category"><a href="#category" class="anchor"></a>Category</h5><p>Category satisfies the monoid laws at the category level.</p><p>The simples example is <a href="Bastet/Function/Category/index.html"><code>Bastet.Function.Category</code></