ough <span 
class="pcrr7t-">T</span> does not escape <span 
class="pcrr7t-">M1</span>:
     <div class="quote">
                                                                                   

                                                                                   
     <div class="verbatim" id="verbatim-100">
&#x00A0;&#x00A0;module&#x00A0;M1(x)&#x00A0;where
&#x00A0;<br />&#x00A0;&#x00A0;&#x00A0;&#x00A0;data&#x00A0;T&#x00A0;=&#x00A0;T
&#x00A0;<br />&#x00A0;&#x00A0;&#x00A0;&#x00A0;x&#x00A0;=&#