 href="module-type-FOLDABLE_F/argument-1-T/index.html">T</a> : <a href="../Bastet/Interface/index.html#module-type-TYPE">Bastet.Interface.TYPE</a>) <span>&#45;&gt;</span> <a href="../Bastet/Interface/index.html#module-type-FOLDABLE">Bastet.Interface.FOLDABLE</a> <span class="keyword">with</span> <span class="keyword">type</span> <span>'a <a href="module-type-FOLDABLE_F/index.html#type-t">t</a></span> = <span><span>(<span class="type-var">'a</span>, <a href="module-type-FOLDABLE_F/argument-1-T/index.html#ty