head><body><div class="content"><header><nav><a href="../index.html">Up</a> â€“ <a href="../../../../../../../../../index.html">bastet</a> &#x00BB; <a href="../../../../../../../../index.html">Bastet</a> &#x00BB; <a href="../../../../../../../index.html">Functors</a> &#x00BB; <a href="../../../../../../index.html">ListF</a> &#x00BB; <a href="../../../../../index.html">Functions</a> &#x00BB; <a href="../../../../index.html">Travsersable</a> &#x00BB; <a href="../../../index.html">Internal</a> &#x00BB; <a