 satisfies_associative_law : bool = true</code></pre></li></ul><h5 id="plus"><a href="#plus" class="anchor"></a>Plus</h5><p><a href="Bastet/Interface/module-type-PLUS/index.html"><code>Bastet.Interface.PLUS</code></a> is a <i>monoid in the category of functors</i>.</p><p>Unlike a <a href="#monoid">monoid</a>, it's a <a href="#functor">functor</a> so it's type has a type parameter <i>'a</i>: instead of having a type <code>t</code> where t is a concerete type (ie: <code>string</code>, <code>int</code>), it in