<div dir="ltr"><div class="gmail_default" style><font face="courier new, monospace">I might be mistaken, but is there a bug in the Show instance of PortNum?</font></div><div class="gmail_default"><font face="courier new, monospace"><br>

</font></div><div class="gmail_default"><br></div><div class="gmail_default"><font face="courier new, monospace"><div class="gmail_default">ë PortNum 1</div><div class="gmail_default">256</div><div class="gmail_default">
ë PortNum 2</div>
<div class="gmail_default">512</div><div class="gmail_default">ë PortNum 3</div><div class="gmail_default">768</div><div><br></div><div><div>ë let (PortNum x) = PortNum 10</div><div>ë x</div><div>10</div></div><div><br></div>

<div>Tested with network-2.4.1.2</div></font></div></div>