class="noindent"> Depending on the Haskell implementation used, separate compilation of mutually recursive modules may require
that imported modules contain additional information so that they may be referenced before they are compiled.
Explicit type signatures for all exported values may be necessary to deal with mutual recursion. The precise details of
separate compilation are not defined by this report.
<p class="noindent">
<h3 class="sectionHead"><span class="titlemark">5.8    </span> <a 
 id="x11-11500