                                        
 <p class="noindent"> The semantics of the entities in <span 
class="pcrr7t-">Prelude</span> is specified by a reference implementation of <span 
class="pcrr7t-">Prelude</span> written in
Haskell, given in Chapter&#x00A0;<a 
href="haskellch9.html#x16-1710009">9<!--tex4ht:ref: stdprelude --></a>. Some datatypes (such as <span 
class="pcrr7t-">Int</span>) and functions (such as <span 
class="pcrr7t-">Int</span> addition) cannot be specified
directly in Haskell. Since t