Actually (Num t)  would mean that certain other functions are also applicable to the elements of the type t, not only addition. <br><br><div class="gmail_quote">On Sun, Sep 5, 2010 at 2:49 PM, Lakshmi Narasimhan <span dir="ltr">&lt;<a href="mailto:lakshminaras2002@gmail.com">lakshminaras2002@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">This means that the elements  of the type &quot;t&quot;  can be added.</blockquote></div><br>
<br clear="all"><br>-- <br>Regards<br>Lakshmi Narasimhan T V<br>