ps://github.com/rightfold">rightfold (Chloe)</a> on how to simulate higher kinded types in Ocaml.</p><p>The realization was that there was a better way and that it was possible to write a decent interface in Ocaml using local opens, functors, and avoiding monoid instances for containerized types by relying on their monoidal categories instead, such as <a href="Bastet/Interface/module-type-PLUS/index.html"><code>Bastet.Interface.PLUS</code></a>, <a href="Bastet/Interface/module-type-MONAD/index.html"><code>B