> <span class="keyword">type</span> <a href="module-type-MakeExceptional/index.html">MakeExceptional</a></span><span> =
  <span class="keyword">functor</span><span> (<a href="module-type-MakeExceptional/argument-1-T/index.html">T</a> : <a href="module-type-TransferFunctions/index.html">TransferFunctions</a>) <span class="arrow">&#45;&gt;</span></span>
  <a href="module-type-S/index.html">S</a> <span class="keyword">with</span> <span><span class="keyword">module</span> <a href="module-type-S/TransferFunction