 href="https://en.m.wikipedia.org/wiki/Symmetric_relation">Symmetry</a></li><li><a href="https://en.m.wikipedia.org/wiki/Asymmetric_relation">Asymmetry</a></li><li><a href="https://en.m.wikipedia.org/wiki/Antisymmetric_relation">Antisymmetry</a></li><li><a href="https://en.m.wikipedia.org/wiki/Transitive_relation">Transitivity</a></li></ul><h3 id="ppx-let"><a href="#ppx-let" class="anchor"></a>PPX Let</h3><p>You can integrate monads with <a href="https://opam.ocaml.org/packages/ppx_let">ppx_let</a>, a ppx r