st export
the value <span 
class="pcrr7t-">main</span><a 
 id="dx11-98004"></a>. The <span 
class="ptmri7t-">value </span>of the program is the value of the identifier <span 
class="pcrr7t-">main</span> in module <span 
class="pcrr7t-">Main</span>, which must be a
computation of type <span 
class="pcrr7t-">IO</span><span 
class="cmmi-10">&#x00A0;&tau; </span>for some type <span 
class="cmmi-10">&tau; </span>(see Chapter&#x00A0;<a 
href="haskellch7.html#x14-1420007">7<!--tex4ht:ref: io --></a>). When the pro