an 
class="pcrb7t-">&#x00A0;b)</span><span 
class="pcrb7t-">&#x00A0;-&#x003E;</span><span 
class="pcrb7t-">&#x00A0;IO</span><span 
class="pcrb7t-">&#x00A0;b </span></td>
</tr></table>                                                                                   </div> <dd class="haddockdesc">
     <span 
class="pcrr7t-">with</span><span 
class="pcrr7t-">&#x00A0;val</span><span 
class="pcrr7t-">&#x00A0;f </span>executes the computation <span 
class="pcrr7t-">f</span>, passing as argument a pointer to a t