Example</a></li><li><a href="#monoid-laws">Monoid Laws</a></li><li><a href="#io">IO</a></li></ul></li><li><a href="#category">Category</a></li></ul></li><li><a href="#comparisons">Comparisons</a></li><li><a href="#rings">Rings</a></li><li><a href="#lattices">Lattices</a></li><li><a href="#further-reading">Further Reading</a></li></ul></li><li><a href="#ppx-let">PPX Let</a></li><li><a href="#background">Background</a></li></ul></li></ul></nav></header><h2 id="top"><a href="#top" class="anchor"></a>Bastet</h2