ally into all modules as if by the statement &#8216;<span 
class="pcrr7t-">import</span><span 
class="pcrr7t-">&#x00A0;Prelude</span>&#8217;, if
and only if it is not imported with an explicit <span 
class="pcrr7t-">import</span> declaration. This provision for explicit import allows entities
defined in the Prelude to be selectively imported, just like those from any other module.
                                                                                   

                                           