tion Types</a></li>
<li class="chapter" data-level="" data-path="type-inference.html"><a href="type-inference.html#type-inference-rules"><i class="fa fa-check"></i>Type Inference Rules</a></li>
</ul></li>
<li class="chapter" data-level="6.11" data-path="higher-order-functions.html"><a href="higher-order-functions.html"><i class="fa fa-check"></i><b>6.11</b> Higher-Order Functions</a><ul>
<li class="chapter" data-level="" data-path="higher-order-functions.html"><a href="higher-order-functions.html#functions-